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

• GNU/Linux
• Solaris
  • OpenSolaris
  • illumos
• Windows NT
  • ReactOS
• OS/2
  • eComStation
• FreeBSD
• OpenBSD
• NetBSD
  • see rump kernel
• MidnightBSD
• TrustedBSD

Monolithic Systems (written in assembler)

• MenuetOS
• KolibriOS
• see BareMetal

Microkernel Multiserver (mostly)

• MINIX 3
• GNU Hurd
• QNX
  • Neutrino

The L4 Family of Microkernels

• L3
• seL4

Exokernels / Unikernels

• rump kernel
• BareMetal
• OSv

Hypervisors

• Xen
• NOVA

Operating System Frameworks

• Genode

Real-Time (single image monolithic)

• RTEMS