VirtuOS: an operating system with kernel virtualization
Breaking up is hard to do: security and functionality in a commodity hypervisor