Amicrokernel is a minimal computeroperating systemkernel which, in its purest form, provides nooperating system services at all, only the mechanisms needed to implement such services, such as low-level address space management,thread management, andinter-process communication (IPC).
This category is about systems built over microkernels, if you're looking for kinds of microkernel, seeCategory:Microkernels
The following 73 pages are in this category, out of 73 total.This list may not reflect recent changes.