A new OS architecture for scalable multicore systems Baumann et al. Presentation: Mark Smith The Multikernel: