VirtuOS: an operating system with kernel virtualization.

Ruslan Nikolaev, Godmar Back

Browse the full SOSP paper archive.