Computing platforms
Process
Monolithic kernels
Microkernel
Kernel
Operating system
MINIX 3
Linux kernel
L4 microkernel family
Computer architecture
Computing
System software