A microkernel operating system, meant as an educational tool, originally written by Andrew Tanenbaum. It focuses on simplicity and reliability, including resetting crashed drivers. It is now graphical, and comes with BSD userland.
A family of high performance true microkernel operating systems, originally written by Jochen Liedtke, with a focus on performance. Earlier versions were written in assembly, current versions are written in C/C++. One variant, seL4, is formally verified as being correct, with a focus on security, reliability, and correctness.
Return to Index