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

This category content has been reduced to only pages contained in the ZIM file.