Software
System software
Computing
Embedded systems
L4 microkernel family
Gernot Heiser
Hypervisor
Microkernel
Open Kernel Labs
Xen
VMware ESXi
Virtualization