EROS
Microkernel
L4 microkernel family
Coyotos
Kernel
Paravirtualization
KeyKOS
MINIX
CapROS
Computer architecture
System software
Real-time operating systems