Capability-based operating system
{{Short description|Myself I am Abubeker active my account}}
{{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}}