Microkernel-based OS
All OSes based on microkernels:- Amoeba - Andy Tanenbaum's microkernel OS with multiple servers, allowing parallel (transparent to the user) execution, resource sharing, and more; the reference among distributed OSes
- chaOS - chaOS, like OpenBLT is a cleanroom implementation of an OS based on a microkernel (codenamed Storm), announced over the summer; there is both code and documentation available on the site, as well as a downloadable and bootable demo floppy that will let you try your hand at it in no time
- Chorus - A proprietary microkernel OS, rival of Mach and a RTOS, (now acquired by Sun Microsystems) for telecommunication devices (cellphones, etc.) and network appliances (webphones, set top boxes, etc...)
- Exokernel - A OS project from MIT
- hOp - A microkernel OS based on the Run Time System (RTS) of GHC, an Haskell implementation
- Knewcleus - Ralph Gerlich's Knewcleus is a microkernel-based real-time OS that aims for POSIX compliance; while open sourced, the people behind it intend to make it a commercial venture and release a packaged version that will include additional things not present in the opensource version
- L4 - A family of OSes originally by Jochen Liedtke are microkernels to demonstrate how optimizing performance requires OS kernels to be completely hardware-dependent, and even CPU-version dependent in a same family of CPUs
- Mach - Mach is a free microkernel upon which many experimental OSes are built
- MorphOS - MorphOS OS is a new OS based on the Quark microkernel
- Off - Off and its successor Off++ are distributed microkernel OSes that transparently migrate light-weight processes ("shuttles") over the network, communicating by distributed IPC ("Portals"), in a one global distributed shared memory space
- OpenBLT - Brian J
- Phantom OS - Balazs Miklos's Phantom OS MIA is a project for an OS for x86 PCs, based on a microkernel, and released under the GNU General Public License
- QNX - QNX
- rtmk - A free real-time microkernel OS developed by Johan Rydberg, sharing alot of ideas with Mach
- Spoon - An OS based on a microkernel
- Topsy - Topsy is an educational OS developed at ETZH
- VSTa - Andy Valencia's VSTa
- VxWorks - Wind River's VxWorks and Tornado real-time OS (RTOS), microkernel based, POSIX and ANSI C language compliant
- YCX2 - Anders Gavare's YCX2
This page is linked from: Operating Systems