EROS - Musharof Chy
EROS-OS.org
Extremely Reliable OS; home site. Small, secure, real-time microkernel with orthogonal persistence:...
The EROS Alternative
Shapiro interview in 'Open-Source Security' issue. Of open source OSs, most people think only Linux...
Extremely Reliable Operating System
Growing article, with links to many related topics. Wikipedia.
CapROS
Capability-based Reliable Operating System; home site; non-academic evolution and continuation of E...
Coyotos Secure Operating System
Direct EROS research successor; builds on those ideas and experiences; much code developed for EROS...
Verifying Operating System Security
A confined program is one unable to leak information to an unauthorized party or modify unauthorize...
EROS: A Fast Capability System
This capability-based OS for commodity processors uses a one level storage model; store persistence...
EROS: A Principle-Driven Operating System from the Ground Up
Abstract of article by Jonathan S. Shapiro, Norm Hardy; published by IEEE Computer Society. [IEEE S...