Category:Microkernel-based operating systems

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by Warren (talk | contribs) at 21:40, 10 November 2008 (prodding for deletion). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

Please use PROD only on articles.
It is proposed that this article be deleted because of the following concern:

Redundant to its parent category.

If you can address this concern by improving, copyediting, sourcing, renaming, or merging the page, please edit this page and do so. You may remove this message if you improve the article or otherwise object to deletion for any reason. Although not required, you are encouraged to explain why you object to the deletion, either in your edit summary or on the talk page. If this template is removed, do not replace it.

This message has remained in place for seven days, so the article may be deleted without further notice.

If you created the article, please don't be offended. Instead, consider improving the article so that it is acceptable according to the deletion policy.
Find sources: "Microkernel-based operating systems" – news · newspapers · books · scholar · JSTOR

Nominator: Please consider notifying the author/project:

{{subst:proposed deletion notify|Category:Microkernel-based operating systems|concern=Redundant to its parent category.}} ~~~~

Timestamp: 20081110214019 21:40, 10 November 2008 (UTC)
Administrators: delete

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'