Capability-based operating system: Difference between revisions

Content deleted Content added
fix
Changing short description from "Myself I am Abubeker active my account" to one that is intentionally blank
 
(30 intermediate revisions by 24 users not shown)
Line 1:
{{Short description|none}}
 
{{Duplication|dupe=Capability-based security|date=Aug-2023}}{{unreferenced|date=June 2016}}
'''Capability-based operating system''' generally refers to an [[operating system]] that uses [[capability-based security]].
 
Examples include:
*[[Hydra (operating system)|Hydra]]
*[[KeyKOS]]
*[[EROS (microkernel)|EROS]]
*[[CapROS]]
*[[Coyotos]]
*[[Midori (operating system)|Midori]]
*[[L4 microkernel family#High assurance: seL4|seL4]]
*[[CapROSGenode]]
*[[Fuchsia (operating system)|Fuchsia]]
*[[HarmonyOS| HarmonyOS (Microkernel)]] ([[HarmonyOS NEXT]])
*[[Phantom OS]]
*[[Control Program Facility]]
 
{{Object-capability security}}
 
{{operating-system-stub}}
[[Category:Capability systems| ]]
[[Category:Operating system security]]