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).
This category is about systems built over microkernels, if you're looking for kinds of microkernel, see Category:Microkernels
Subcategories
This category has only the following subcategory.
Next items are not visible in browsers without Javascript
Next items are not visible in browsers without Javascript
Pages in category "Microkernel-based operating systems"
The following 73 pages are in this category, out of 73 total.
Next items are not visible in browsers without Javascript
M
Q
S
Next items are not visible in browsers without Javascript
This category content has been reduced to only pages contained in the ZIM file.
Categories: