Capability-based operating system: Difference between revisions

Content deleted Content added
proposed deletion
Tag: Reverted
Changing short description from "Myself I am Abubeker active my account" to one that is intentionally blank
 
(17 intermediate revisions by 15 users not shown)
Line 1:
{{Short description|none}}
{{Proposed deletion/dated
{{Duplication|dupe=Capability-based security|date=Aug-2023}}{{unreferenced|date=June 2016}}
|concern = All of the below is already included in a section of another article and embedded in a larger context: [[Capability-based_security#Implementations]]
|timestamp = 20220213172920
|nom = Neutronstar2
|help =
}}
{{unreferenced|date=June 2016}}
'''Capability-based operating system''' generally refers to an [[operating system]] that uses [[capability-based security]].
 
Line 12 ⟶ 7:
*[[KeyKOS]]
*[[EROS (microkernel)|EROS]]
*[[CapROS]]
*[[Midori (operating system)|Midori]]
*[[L4 microkernel family#High assurance: seL4|seL4]]
*[[Genode]]
*[[Fuchsia (operating system)|Fuchsia]]
*[[HarmonyOS| HarmonyOS (Microkernel)]] ([[HarmonyOS NEXT]])
*[[Phantom OS]]
*[[Control Program Facility]]