KeyKOS is a persistent, pure capability operating system. ErosOs is a close derivative.
CategoryOperatingSystem ObjectCapabilityOperatingSystem