HermitCore: A Unikernel for Extreme Scale Computing
The multikernel: a new OS architecture for scalable multicore systems