The multikernel: a new OS architecture for scalable multicore systems.

Andrew Baumann, Paul Barham, Pierre-variste Dagand, Tim Harris, Rebecca Isaacs, Simon Peter, Timothy Roscoe, Adrian Schpbach, Akhilesh Singhania

Browse the full SOSP paper archive.