Categories: Operating systems
KeyKOS is a persistent, pure capability-based operating system. It is a predecessor of EROS, the Extremely Reliable Operating System.