CSC 660: Advanced Operating SystemsSlide #1 CSC 660: Advanced OS Microkernels.
Macro- vs. Micro- Kernels Matthew Fluet CS614 – Advanced Systems April 5, 2001.