Directory of EROS Resources

Home > Computers > Software > Operating Systems > Realtime > EROS

Subcategories

• E Language

Resources in This Category

• CapROS

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

• CapROS

  http://www.capros.org/
  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.

• Coyotos

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

• Coyotos Secure Operating System

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

• EROS-OS.org

  http://www.eros-os.org/
  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]

• EROS: A Fast Capability System

  http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.41.400
  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]

• EROS: A Principle-Driven Operating System from the Ground Up

  http://www.computer.org/csdl/mags/so/2002/01/s1026-abs.html
  Abstract of article by Jonathan S. Shapiro, Norm Hardy; published by IEEE Computer Society. [IEEE Software]

• Extremely Reliable Operating System

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

• The EROS Alternative

  http://www.infosecuritymag.com/articles/february00/covera.shtml
  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]

• Verifying Operating System Security

  http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.44.4902
  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]

Related Categories

• Home > Computers > Software > Operating Systems > Capability
• Home > Computers > Software > Operating Systems > Microkernel
• Home > Computers > Software > Operating Systems > Open Source
• Home > Computers > Software > Operating Systems > Persistent
• Home > Computers > Software > Operating Systems > Realtime > Open Source

 

Home > Computers > Software > Operating Systems > Realtime > EROS

 

---

 

Thanks to DMOZ, which built a great web directory for nearly two decades and freely shared it with the web. About us