Capability-based operating system
From Wikipedia, the free encyclopedia
Page Module:Message box/ambox.css has no content.
This article duplicates the scope of other articles, specifically Capability-based security. (Aug-2023) |
Page Module:Message box/ambox.css has no content.
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
Lua error in package.lua at line 80: module 'Module:Navbox/configuration' not found.