Английская Википедия:Capability-based operating system
Материал из Онлайн справочника
Шаблон:DuplicationШаблон:Unreferenced Capability-based operating system generally refers to an operating system that uses capability-based security.
Examples include:
- Hydra
- KeyKOS
- EROS
- CapROS
- Midori
- seL4
- Genode
- Fuchsia
- HarmonyOS NEXT
- Phantom OS
- Control Program Facility
Шаблон:Object-capability security