KeyKOS

A persistent, pure capability OS, generally a nano-kernel design. It's also the predecessor of EROS.