Microkernel :: Operating Systems
Open Source :: Operating Systems
Persistent :: Operating Systems
Open Source :: Realtime

EROS - Twitter Search

@bismartriandi @danaAmang Gak usah sok tau mar, serius ini gw kalo gak percaya tanya aja eros
fauzanlanang (fauzan lanang) Thu, 24 Dec 2009 11:29:18 -0000
@bismartriandi @danaAmang Gak usah sok tau mar, serius ini gw kalo gak percaya tanya aja eros
Blogged Eros Ramazzotti-Favola: - http://tinyurl.com/ycvmabj
KaRMeLoN (Musa ASLAN) Thu, 24 Dec 2009 11:05:04 -0000
Blogged Eros Ramazzotti-Favola: - http://tinyurl.com/ycvmabj
♫ #Ouvindo Eros Ramazzotti - Ancora Un Minuto Di Sole http://irpra.la/m/1016563 no @sitekboing
ElaineKLAFAZ (Elaine Binder) Thu, 24 Dec 2009 10:56:39 -0000
♫ #Ouvindo Eros Ramazzotti - Ancora Un Minuto Di Sole http://irpra.la/m/1016563 no @sitekboing
I favorited a YouTube video -- Laura Pausini & Eros Ramazzotti http://youtu.be/6hTVG3qC4RE?a
Remcomb (Remco) Thu, 24 Dec 2009 10:51:20 -0000
I favorited a YouTube video -- Laura Pausini & Eros Ramazzotti http://youtu.be/6hTVG3qC4RE?a
「恥ずかしいカラダ NO.1 EROS 水城奈緒」を発送しました http://bit.ly/8FfTPq
mirakui_dmm (mirakui_dmm) Thu, 24 Dec 2009 10:51:00 -0000
「恥ずかしいカラダ NO.1 EROS 水城奈緒」を発送しました http://bit.ly/8FfTPq
I uploaded a YouTube video -- Mark Lex Eros - Nocturnal http://youtu.be/V8cj3l3OeB8?a
paparazzoz (Mark Lex Eros) Thu, 24 Dec 2009 09:57:23 -0000
I uploaded a YouTube video -- Mark Lex Eros - Nocturnal http://youtu.be/V8cj3l3OeB8?a

 

Subscribe to EROS RSS feed

EROS-OS.org - Extremely Reliable OS. Small, secure, real-time microkernel with orthogonal persistence: pull the plug and restart with never a problem. Related to, and working with, ERights.org on E programming language. [Open source, GPL]

EROS: A Fast Capability System - 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]
Meta Description: [ EROS is a capability based operating system for commodity processors which uses a single level storage model. The single level store s persistence is transparent to applications. The performance consequences of support for transparent persistence and capability based architectures are generally b... ]

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 Software]
Meta Description: [ Design principles are one of the most advocated ideas in software construction, but they are rarely systematically applied. They are particularly critical in se-cure, reliable systems. EROS, an operating system built from the ground up, provides formally verifiable security, practical reliability... ]

KeyKOS - Persistent, pure capability, microkernel OS. EROS's famous predecessor.

The EROS Alternative - 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 - 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]
Meta Description: [ A confined program is one which is unable to leak information to an unauthorized party or modify unauthorized resources. Confinement is an essential feature of any secure component based system. This paper presents a proof of correctness of the EROS operating system architecture with respect to c... ]