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