Fork us on GitHub Follow us on Facebook Follow us on Twitter

Operating Systems ZOO

A semi-structured list of significant (for one reason or another) operating systems. The purpose of this list is to have a permanent source of references when doing any type of comparison, related work survey, etc. The fact that an operating system is listed (or is not listed) in this list has no implicit implication for HelenOS and signifies no specific relation.

Monolithic Systems

Monolithic Systems (written in assembler)

Microkernel Hybrid

Microkernel Multiserver (mostly)

The L4 Family of Microkernels

Virtual Machine-Based

Exokernels / Unikernels


  • Xen (@ Wikipedia)
  • NOVA
    • academic reference: Steinberg U., Kauer B.: NOVA: A Microhypervisor-Based Secure Virtualization Architecture, in the Proceedings of EuroSys, ACM, 2010

Operating System Frameworks

  • Genode
    • academic predecessor reference: Feske N., Helmuth C.: Design of the Bastei OS Architecture, technical report, ISSN 1430-211X, TU Dresden, 2006 (PDF)

Real-Time (single image monolithic)

Last modified 7 years ago Last modified on 2015-11-12T16:23:39Z