This category is for operating systems (OSs) with two main traits, they: 1) Have a microkernel architecture. 2) Are open source. Other OSs go elsewhere. On this page, OSs are arranged in two groups and levels: 1) Top group: OSs for which there are more than one instance of an OS of this name/type, an OS family. 2) Bottom group: specific OSs, individual instances; there is only one OS of this name/type.

Subcategories 13

Related categories 3

Apostle
Free microkernel operating system for i386 architecture, built on Gemini Nucleus, coded in C. Seeks to provide well-designed alternate to extant OSs; goal: create an OS that works because it is appropriate and effective for its users. [open source, GPL]
Gemini Nucleus
Open source project to make a production quality micro kernel based on the latest findings in OS research.
LinksOS
To be fast, secure, straightforward, fill gap between OS X, Linux, Windows, built on microkernel, coded in Assembly, C/C++; for desktops, workstations, small servers. Description, mail list, OS design documents, CVS, downloads. [Open Source, BSD]
NewOS
Loosely based on concepts in BeOS, FreeBSD, NT, Solaris, other modern OSs; goals: be as modern and complete as possible, emphasize platform portability; runs on x86 1, 2/4 SMP CPUs, Sega Dreamcast Hitachi SH-4. Kernel used in OpenBeOS. [Open Source, BSD]
OSSO
A microkernel operating system written from scratch. It has some drivers, programs, support for dynamically linked C library, ELF executables.
Programmers Operating SYStem: POSYS
To be simple 32-bit multitasking microkernel using all security features of x86 processors, able to load and execute modules for: MS Win32 (32-bit PE, EXE; dynamic link libraries, DLLs), Linux (ELF, a.out). [Open Source, GPL]
ReactOS
Opensource effort to develop a quality operating system compatible with Windows NT applications and drivers.
rtmk
Realtime microkernel: preemptive, fully re-entrant, multithreaded, SMP, continuations, full locking primitives; shares many ideas with Mach, developed by CMU in late 1980's, early 1990's, stopped in 1994. [GPL]
The Spoon Microkernel
Hobby and education OS, for Intel compatible CPUs. Descriptions, documents, screenshots, tips, links. [Open Source, BSD]
[Linux Mozilla]
Last update:
January 19, 2014 at 15:28:11 UTC
Computers
Games
Health
Home
News
Recreation
Reference
Regional
Science
Shopping
Society
Sports
All Languages
Arts
Business