Category:Microkernel-based operating systems
A microkernel is a minimal computer operating system kernel which, in 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 inter-process communication (IPC).
P.S. This category is about systems built over microkernels, if you're looking for kinds of microkernel, see Category:Microkernels
This category has only the following subcategory.
- ► MINIX (9 P)
Pages in category "Microkernel-based operating systems"
The following 70 pages are in this category, out of 70 total. This list may not reflect recent changes (learn more).