Capability-based operating system

Article
Talk

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)

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

This operating-system-related article is a stub. You can help Wikipedia by adding missing information.

Retrieved from "https://en.wikipedia.org/w/index.php?title=Capability-based_operating_system&oldid=1295614428"