KeyKOS is a persistent, pure capability operating system. Eros Os is a close derivative.
www.cis.upenn.edu and www.agorics.com
Category Operating System Object Capability Operating System
See original on c2.com