Capability-based operating system

Capability-based operating system generally refers to an operating system that uses capability-based security.
Examples include:

Hydra
KeyKOS
EROS
Midori
seL4
Genode
Fuchsia
HarmonyOS
Phantom OS
Control Program Facility

Category:Capability systems
Category:Operating system security