Lightweight Capability Domains : Decomposing the Linux Kernel
VirtuOS: an operating system with kernel virtualization