[Noteworthy] EROS: The Extremely Reliable Operating System

EROS: The Extremely Reliable Operating System looks like an extremely interesting project. Have a look at the defining IEEE article, EROS: A Principle-Driven Operating System from the Ground Up.