Live briefing

Everything about EROS (microkernel)

Capability-based operating system

Extremely Reliable Operating System (EROS) is an operating system developed starting in 1991 at the University of Pennsylvania, and then Johns Hopkins University, and The EROS Group, LLC. Features include automatic data and process persistence, some preliminary real-time support, and capability-based security. EROS is purely a research operating system, and was never deployed in real world use. As of 2005, development stopped in favor of a successor system, CapROS. Wikipedia →

🧭 Start here: a 6-step reading path

Read the overview: EROS (microkernel)A 5-minute orientation
Go sideways: MicrokernelA closely related topic
Go sideways: L4 microkernel familyA closely related topic

📖 Definitions

No dictionary entry for this exact phrase.

🗂️ The subject at a glance

🏆 Landmark papers (most cited)

No matching papers found.

📚 Books worth reading

Open Library didn't respond; try again in a moment.

🔗 Related topics

Microkernel In computer science, a microkernel (often abbreviated as μ-kernel) is the near-minimum amount of software that can provide the mechanisms needed to implement…
L4 microkernel family L4 is a family of second-generation microkernels, used to implement a variety of types of operating systems (OS), though mostly for Unix-like, Portable…
SeL4 seL4 (security enhanced L4) is an open-source, high-assurance, capability-based microkernel. It inherits the performance and design characteristics of…
Capability-based security Capability-based security is a concept in the design of secure computing systems, one of the existing security models. A capability (known in some systems…
Trusted computing base The trusted computing base (TCB) of a computer system is the set of all hardware, firmware, and/or software components that are critical to its security…
GNU Hurd GNU Hurd is a collection of microkernel servers written as part of GNU, for the GNU Mach microkernel. It has been under development since 1990 by the GNU…
Genode Genode is a novel OS architecture that aims to improve software safety by applying a strict organizational structure to all software components including…
Kernel (operating system) A kernel is a computer program at the core of a computer's operating system that always has complete control over everything in the system. The kernel…