KeyKOS is a persistent, pure capability operating system. ErosOs is a close derivative.
** http://www.cis.upenn.edu/~KeyKOS/ and http://www.agorics.com/Library/keykosindex.html
----
CategoryOperatingSystem ObjectCapabilityOperatingSystem