Nuacht

A microkernel still manages memory, processes, and device drivers, but it does so in a way that differentiates itself from a monolithic kernel.
Microkernel designs face the challenge of dealing with the overhead of inter-process communication (IPC) between user-space servers and the kernel.