Capability-based operating system

The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

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 Object-capability security
Concepts	Principle of least privilege (PoLP) Confused deputy problem Ambient authority File descriptor C-list Object-capability model Capability-based security Capability-based addressing Zooko's triangle Petnames
Operating systems, kernels	Capsicum Fuchsia Genode GNOSIS → KeyKOS → EROS → CapROS Hydra iMAX 432 Midori NLTSS seL4 HarmonyOS (HarmonyOS NEXT) Phantom OS
Programming languages	Cajita E Joe-E Joule
File systems	Tahoe-LAFS
Specialised hardware	BiiN Cambridge CAP Flex IBM System/38 Intel iAPX 432 Plessey System 250 CHERI