 The CapROS logo, a polar bear | |
| Developer | Strawberry Development Group |
|---|---|
| Written in | C |
| OS family | Capability-based |
| Working state | Active |
| Initial release | 2 May 2005 |
| Latest release | xenv / 27 June 2010 |
| Repository | github |
| Marketing target | Experimenters |
| Available in | English |
| Update method | Compile from source code |
| Platforms | IA-32, ARM |
| Kernel type | Microkernel |
| Default user interface | Command-line interface |
| License | GPLv2, LGPLv2 |
| Preceded by | KeyKOS, EROS |
| Succeeded by | Coyotos |
| Official website | www |
Capability-based Reliable Operating System (CapROS) is an operating system incorporating pure capability-based security. It features automatic persistence of data and processes, even across system reboots. Capability systems naturally support the principle of least authority, which improves security and fault tolerance. It is free and open-source software released under the GNU General Public License version 2 (GPLv2), and GNU Lesser General Public License version 2 (LGPLv2).
CapROS is an evolution of the Extremely Reliable Operating System (EROS). While EROS was purely a research system, CapROS is intended to be a stable system of commercial quality. CapROS currently runs on Intel IA-32 and ARM microprocessors.
CapROS is being developed by Strawberry Development Group with funding from the Defense Advanced Research Projects Agency (DARPA) and others. The primary developer is Charles Landau.
