Microkernels
A microkernel is a small operating system core that provides the foundation for modular extensions.
Typically a microkernel is surrounded by a number of subsystems to support extended functionality of an operating system.
See Fig.2.16, 2.13 for examples of leyered and micro-kernel systems.