CapROS
From Wikipedia, the free encyclopedia
 |
|
| Website: | http://www.capros.org/ |
| Company/ developer: |
Strawberry Development Group |
| OS family: | Capability-based |
| Kernel type: | Microkernel |
| License: | GPL |
| Working state: | In production / development |
CapROS [1] (the Capability-based Reliable Operating System) is an open source operating system. It is a pure capability-based system that 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.
CapROS is an evolution of the EROS system. 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. The primary developer is Charles Landau.
[edit] History
The CapROS project was formed in 2005 as a non-academic continuation of the Extremely Reliable Operating System. The EROS system in turn traces its architecture to KeyKOS.
