Papers tagged kernel design HYDRA: the kernel of a multiprocessor operating system Kernohan: A High-Integrity, High-Assurance Microkernel for Embedded Systems Browse All Keywords By Category
