CapROS: Capability-Based Reliable Operating System
CapROS is a new operating system that merges some very old
ideas about capabilities with some newer ideas about
performance and resource management. The result is a small,
secure, real-time operating system that provides orthogonal
persistence.