Category:Microkernel-based operating systems
| This category is being considered for deletion in accordance with Wikipedia's category deletion policy. This does not mean that any of the articles in the category will be deleted. They may, however, be recategorized. Please share your thoughts on the matter at this category's entry on the Categories for discussion page.
Please do not empty the category or remove this notice while the discussion is in progress. |
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 "Microkernel-based operating systems"
The following 73 pages are in this category, out of 73 total. This list may not reflect recent changes.