KeyKOS

KeyKOS is a capability operating system.

See.