Improving Agility and Elasticity in Bare-metal Clouds
The multikernel: a new OS architecture for scalable multicore systems