Category:Operating Systems with Microkernel

From Wikipedia, the free encyclopedia

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, go to the category 'microkernels'

Pages in category "Operating Systems with Microkernel"

The following 3 pages are in this category, out of 3 total. Updates to this list can occasionally be delayed for a few days.

H

M

S