Other Capability-based
- Cambridge CAP computer operating system demonstrated the use of security capabilities, both in hardware and software, also a useful fileserver. Implemented in ALGOL 68C.
- Flex machine - The hardware was custom and microprogrammable, with an operating system, (modular) compiler, editor, * garbage collector and filing system all written in ALGOL 68.
- HYDRA - Running on the C.mmp computer at Carnegie Mellon University, implemented in the programming language BLISS.
- KeyKOS nanokernel
- EROS microkernel
- CapROS EROS successor
- Coyotos EROS successor, goal: be first formally verified OS
- EROS microkernel
- V from Stanford, early 1980s
Read more about this topic: List Of Operating Systems, Capability-based