VirtuOS: an operating system with kernel virtualization
Tolerating malicious device drivers in Linux