Microkernel L4 microkernel family Vanguard (microkernel) Mach (kernel) MkLinux EROS (microkernel) Workplace OS GNU Hurd Monolithic kernel Nukernel Hybrid kernel Chorus Systèmes SA ChorusOS VSTa Genode Jochen Liedtke Kernel (operating system) GNU Mach L4Linux JX (operating system) HelenOS JavaOS K42 Eumel OSF/1 QNX MicroEmpix UNICOS Tanenbaum–Torvalds debate ENEA AB Lites RC 4000 multiprogramming system Redox (operating system) Symobi MacMach Open Kernel Labs Wombat (operating system) Singularity (operating system) V (operating system) NetKernel Zircon (disambiguation) Rump kernel Minix Mac OS nanokernel Capability-based operating system OS2000 C…

Cisco IOS XR Gernot Heiser Quark (kernel) VRM Richard Rashid Hydra (operating system) Taligent L3 REX OS SPIN (operating system) DNA-OS Green Hills Software PikeOS Pistachio (disambiguation) Colocation Exec (Amiga) Alien thread Gordon Bell (QNX) Jean-Loup Gailly Mach 10 Collocation (operating systems) Musl FOSDEM Amoeba (operating system) Fiasco Mach 4 Rich client platform DBOS ELAN (programming language) FLASK TMM Galileo (operating system) Mach Fuchsia (operating system) Distributed operating system XNU Carl Sas

senrath Phantom OS List of software architecture styles and patterns Spring (operating system) F5, Inc. Exokernel ARX (operating system) HeliOS Dan Dodge Cray XT3 Embedded hypervisor SymbOS L4 ChibiOS/RT Comparison of operating system kernels Jakarta Project Cray T3D List of software under the GNU AGPL Unix System Laboratories SimOS Minix 3 Aleph kernel Trusted computing base Quark (disambiguation) HarmonyOS NEXT List of operating systems RIOT (operating system) TI-RTOS Darwin (operating system) EMUI Nintendo Switch system software Sprite (operating system) EKA2 Opus Separation of mechanism and policy Versatile Real-Time Executi