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

Software Infrastructure - RSS Sponsorship

SaaS vendor quits browser to boost sales
Fri, 18 Jul 2008 15:30:54 -0700
SaaS CRM vendor Entellium is phasing out its browser-based offerings in favor of a smart client version that it says sells faster, better and at one-fifth of the marketing costs of the old version. by Phil Wainewright
SaaS vendor quits browser to boost sales
Fri, 18 Jul 2008 15:30:54 -0700
SaaS CRM vendor Entellium is phasing out its browser-based offerings in favor of a smart client version that it says sells faster, better and at one-fifth of the marketing costs of the old version. by Phil Wainewright
SaaS vendor quits browser to boost sales
Fri, 18 Jul 2008 15:30:54 -0700
SaaS CRM vendor Entellium is phasing out its browser-based offerings in favor of a smart client version that it says sells faster, better and at one-fifth of the marketing costs of the old version. by Phil Wainewright
Open-source Castle Project founder joins Microsoft
Fri, 18 Jul 2008 12:45:24 -0700
Hamilton "Hammett" Verissimo, the founder of the open-source Castle Project, is joining Microsoft on August 11 as a program manager on the Microsoft Extensibility Framework MEF team. by Mary Jo Foley
Open-source Castle Project founder joins Microsoft
Fri, 18 Jul 2008 12:45:24 -0700
Hamilton "Hammett" Verissimo, the founder of the open-source Castle Project, is joining Microsoft on August 11 as a program manager on the Microsoft Extensibility Framework MEF team. by Mary Jo Foley
Open-source Castle Project founder joins Microsoft
Fri, 18 Jul 2008 12:45:24 -0700
Hamilton "Hammett" Verissimo, the founder of the open-source Castle Project, is joining Microsoft on August 11 as a program manager on the Microsoft Extensibility Framework MEF team. by Mary Jo Foley

 

Subscribe to Operating_Systems 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... ]