Ruslan Nikolaev, Godmar Back. VirtuOS: an operating system with kernel virtualization. In Michael Kaminsky, Mike Dahlin, editors, ACM SIGOPS 24th Symposium on Operating Systems Principles, SOSP '13, Farmington, PA, USA, November 3-6, 2013. pages 116-132, ACM, 2013. [doi]
Abstract is missing.