Review of Microkernels
Subsections
What is a Microkernel?
Classification of Kernels
Examples of Kernel design
Why build multiservers?