CapROS

CapROS is a capability operating system. See.

It is derived from EROS.