VirtuOS: an operating system with kernel virtualization
Tolerating hardware device failures in software