Microkernels-nanokernels

L4 family	Eumel → L3 → L4° OKL4°
Macintosh hosted	Mac OS nanokernel NuKernel
Psion	EKA1 → EKA2^°
Amiga-type	Exec ExecSG Quark WarpOS

ADEOS°
EROS^°
K42°
Little Kernel
Mach°
- GNU Mach°
MicroEmpix
µ-velOSity^
nucleus
Off++ → Plan B
Opus
PowerUP
RTLinux°
TI-RTOS kernel^°
Vanguard

Operating
systems

POSIX support

Unix-like	ARX GNU Hurd° Lites MeikOS Minix° Minix-vmd° Minix 3° MkLinux° Multi-Environment Real-Time^ (MERT – Unix-RT) OS2000 QNX^ Redox° Spring Tinix UNICOS VSTa
Partial	ChorusOS^ Integrity^ Nucleus RTOS^ NuttX^° OSE^ RIOT^°

Capability-based

GNOSIS → KeyKOS → EROS → CapROS
Hydra
seL4^°
Midori
NLTSS
HarmonyOS NEXT (OpenHarmony, Oniro OS) → HarmonyOS

L4 kernel

Java virtual machine

JavaOS (Chorus/Jazz^ integrates ChorusOS^)
JX°

Macintosh hosted

Unix-like	MachTen MacMach

Copland
Classic Mac OS (PowerPC kernel)

EPOC → Symbian OS^°

Amiga-type

AmigaOS
AROS°
- AspireOS°
- Broadway°
- Icaros Desktop°
MorphOS

Pink → Taligent OS → Workplace OS

Amoeba°
BeRTOS^°
ChibiOS/RT^°
FreeRTOS^°
HelenOS°
µC/OS^°
MQX^
OpenComRTOS^
Phantom OS^°
RC 4000
SharpOS°
SPIN°
Thoth^ → Harmony^ → V
VRTX^
Zephyr^°

Frameworks, kits

Italics = discontinued
^ = Real-time
° = Open-source software
Category: Microkernel-based operating systems Category: Microkernels

A navbox for all Wikipedia articles about microkernels and microkernel based operating systems

Template parameters[Edit template data]
Parameter		Description	Type	Status
No parameters specified

Category