CapROS: The 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.
Acknowledgements
CapROS is the continuation of the EROS project. CapROS owes a great debt to Jonathan Shapiro and all who supported that project.
The CapROS project is hosted on GitHub. We thank GitHub for its support of open source software, including this project.