What is microkernel?
Microkernel is a minimal operating system kernel which n its purest form, provides no operating-system services at all, only the mechanisms needed to implement such services, such as low-level address space management, thread management, and interprocess communication (IPC).
