Capability-based operating system Source: en.wikipedia.org/wiki/Capability-based_operating_system

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 expanding it.

• v
• t
• e