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.


Links

CapROS Overview Mailing List
Programmer's Guide Kernel Development Guide
Building CapROS Project Summary on GitHub
Design Notes
The EROS System This is an archival site that is known to have some broken links. The KeyKOS system

Acknowledgements

The CapROS project is led by Charles Landau.

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.


Copyright 2005, 2008, 2009, 2016 by Strawberry Development Group. Copyright 2022 by Charles Landau. All rights reserved. For terms of redistribution, see the GNU General Public License