XP Operating Systems Save
Millions of Products. Read Reviews. XP Operating Systems: Prices.
www.NexTag.co.uk/electronics (sponsored link)
 

CapROS Save
Growing article, with links to many related topics. Wikipedia.
http://en.wikipedia.org/wiki/CapROS   

CapROS Save
Capability-based Reliable Operating System; home site; non-academic evolution and continuation of EROS system, begun in 2005; EROS was pure research, CapROS is intended to be stable commercial quality system.
http://www.capros.org/   

Coyotos Save
Growing article, with links to many related topics. Wikipedia.
http://en.wikipedia.org/wiki/Coyotos   

Coyotos Secure Operating System Save
Direct EROS research successor; builds on those ideas and experiences; much code developed for EROS will migrate directly to Coyotos.
http://www.coyotos.org/   

EROS: A Fast Capability System Save
This capability-based OS for commodity processors uses a one level storage model; store persistence is transparent to applications. Surprisingly, performance of this very high security system matches normal OSs. [ResearchIndex]
http://citeseer.ist.psu.edu/shapiro99...   

EROS: A Principle-Driven Operating System from the Ground Up Save
Abstract of article by Jonathan S. Shapiro, Norm Hardy; published by IEEE Computer Society. [IEEE Software]
http://csdl2.computer.org/persagen/DL...   

EROS-OS.org Save
Extremely Reliable OS; home site. Small, secure, real-time microkernel with orthogonal persistence: pull the plug and restart with no losses. Related to, and working with, ERights.org on E programming language. [Open source, GPL]
http://www.eros-os.org/   

Extremely Reliable Operating System Save
Growing article, with links to many related topics. Wikipedia.
http://en.wikipedia.org/wiki/Extremel...   

KeyKOS Save
Persistent, pure capability, microkernel OS. EROS's famous predecessor.
http://www.cis.upenn.edu/~KeyKOS/   

The EROS Alternative Save
Shapiro interview in 'Open-Source Security' issue. Of open source OSs, most people think only Linux and OpenBSD. But another open-source OS's architecture may be more secure than either of them. [Information Security Magazine]
http://www.infosecuritymag.com/articl...   

Verifying Operating System Security Save
A confined program is one unable to leak information to an unauthorized party or modify unauthorized resources, an essential feature of any secure component based system. A proof of correctness of EROS architecture for confinement. [ResearchIndex]
http://citeseer.ist.psu.edu/shapiro97...   

Forum - Usenet comp.os.misc
Forum - Usenet comp.os.research

Help build the largest human-edited directory of the web
Suggest a site | Open Directory Project | Become an editor