Microkernels and fast local IPC [pdf](systems.ethz.ch)

https://www.systems.ethz.ch/sites/default/files/file/aos2012/slides/06-MicrokernelsAndIPC.pdf