Lightweight Capability Domains : Decomposing the Linux Kernel
The multikernel: a new OS architecture for scalable multicore systems