Capability-based operating system
Appearance
From Wikipedia, the free encyclopedia
This article duplicates the scope of other articles, specifically Capability-based security. Please discuss this issue and help introduce a summary style to the article. (Aug-2023)
This article does not cite any sources . Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.
Find sources: "Capability-based operating system" – news · newspapers · books · scholar · JSTOR (June 2016) (Learn how and when to remove this message)
Find sources: "Capability-based operating system" – news · newspapers · books · scholar · JSTOR (June 2016) (Learn how and when to remove this message)
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
Stub icon
This operating-system-related article is a stub. You can help Wikipedia by expanding it.