Capability-based operating system generally refers to an
operating system
An operating system (OS) is system software that manages computer hardware and software resources, and provides common daemon (computing), services for computer programs.
Time-sharing operating systems scheduler (computing), schedule tasks for ...
that uses
capability-based security
Capability-based security is a concept in the design of secure computing systems, one of the existing security models. A capability (known in some systems as a key) is a communicable, unforgeable token of authority. It refers to a value that ref ...
.
Examples include:
*
Hydra
*
KeyKOS
KeyKOS is a persistent, pure capability-based operating system for the IBM S/370 mainframe computers. It allows emulating the environments of VM, MVS, and Portable Operating System Interface (POSIX). It is a predecessor of the Extremely Reli ...
*
EROS
Eros (, ; ) is the Greek god of love and sex. The Romans referred to him as Cupid or Amor. In the earliest account, he is a primordial god, while in later accounts he is the child of Aphrodite.
He is usually presented as a handsome young ma ...
*
Midori
Midori (みどり, ミドリ, , , ) is the Japanese word for "green" and may refer to:
Places
* Midori, Gunma
* Midori-ku, Chiba
* Midori-ku, Nagoya
* Midori-ku, Sagamihara
* Midori-ku, Saitama
* Midori-ku, Yokohama
People Given name
* M ...
*
seL4
L4 is a family of second-generation microkernels, used to implement a variety of types of operating systems (OS), though mostly for Unix-like, ''Portable Operating System Interface'' (POSIX) compliant types.
L4, like its predecessor microkernel ...
*
Genode
Genode is a novel OS architecture that aims to improve software safety by applying a strict organizational structure to all software components including device drivers, system services, and applications.
Within the Genode project, the Operating ...
*
Fuchsia
''Fuchsia'' ( ) is a genus of flowering plants that consists mostly of shrubs or small trees.
Almost 110 species of ''Fuchsia'' are recognized; the vast majority are native to South America, but a few occur north through Central America to Mex ...
*
HarmonyOS (Microkernel) (
HarmonyOS NEXT
HarmonyOS NEXT ( zh, s=鸿蒙星河版, p=Hóngméng Xīnghébǎn) is a proprietary software, proprietary distributed operating system that succeeded the similarly named HarmonyOS, with the main difference that the "Next" operating system was de ...
)
*
Phantom OS
Phantom OS is an Persistence_(computer_science)#Orthogonal_or_transparent_persistence, orthogonally persistent managed code general-purpose operating system. It is based on a concept of persistent virtual memory, and executes bytecode in a virt ...
*
Control Program Facility
Control Program Facility (CPF) is the operating system of the IBM System/38. CPF represented an independendent line of development at IBM Rochester, and was unrelated to the earlier and more widely used System Support Program operating system. ...
{{operating-system-stub
Capability systems
Operating system security