The multikernel: a new OS architecture for scalable multicore systems (2009)

by A Baumann, P Barham, P-E Dagand, T Harris, R Isaacs, S Peter, T Roscoe, A Schüpbach, A Singhania
Venue:In Proc. of the ACM SIGOPS 22nd