List of Operating Systems - Capability-based - Other Capability-based

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
  • V from Stanford, early 1980s

Read more about this topic:  List Of Operating Systems, Capability-based