User:Ruud Koot/Microkernel

Microkernels

 * EROS
 * Coyotos
 * L4
 * QNX
 * Flask
 * Pebble
 * Mach
 * XNU
 * Sprite
 * Amoeba
 * Chorus
 * MINIX
 * Integrity
 * PikeOS
 * Symbian
 * Singularity
 * K42

Operating systems

 * GNU/HURD