Jump to content

Category:Microkernel-based operating systems

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by Ben.okucu (talk | contribs) at 13:30, 1 November 2016. The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

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'

Subcategories

This category has only the following subcategory.

M

Retrieved from "https://en.wikipedia.org/w/index.php?title=Category:Microkernel-based_operating_systems&oldid=747276179"