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 (Microkernel) (HarmonyOS NEXT)
• Phantom OS
• Control Program Facility