Composing OS extensions safely and efficiently with Bascule
The multikernel: a new OS architecture for scalable multicore systems