VirtuOS: an operating system with kernel virtualization
The design and implementation of microdrivers