Microkernel
Thread
Kernel
Mach
X86-64
Cell
Linux kernel
Architecture of Windows NT
64-bit
Computer architecture
L4 microkernel family
Monolithic kernels