Research
Listed here are references to academical research papers related to Micro Kernels.
Networking Performance for Microkernels (1992) -- An article by Chris Maeda and Brian N. Bershad discussing microkernel optimizations of an UDP driver.
The Increasing Irrelevance of IPC Performance for Microkernel-Based Operating Systems (1992)
The Flux OS Toolkit: Reusable Components for OS Implementation (1997)
The Flux OSKit: A Substrate for Kernel and Language Research (1997)