{{Short description|none}} {{Duplication|dupe=Capability-based security|date=Aug-2023}}{{unreferenced|date=June 2016}} '''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
{{Object-capability security}}
{{operating-system-stub}} Category:Capability systems Category:Operating system security