Microkernel :: Operating Systems
GNU Hurd :: Mach
Open Source :: Operating Systems
Persistent :: Operating Systems
Open Source :: Realtime
Research :: Operating Systems
x86 :: Operating Systems

Software Infrastructure - RSS Sponsorship

HP's first 13.3-inch Pavilion vs. the competition
Wed, 01 Oct 2008 12:34:18 -0700
HP is shipping its first laptop with a 13.3-inch widescreen display. The HP Pavilion dv3500t series is already available on HP's site starting at $1,000, and a slightly higher-end configuration, the dv3520nr, is available for pre-order at Best Buy for $1,200. Other sites have reported that this model will be...
HP's first 13.3-inch Pavilion vs. the competition
Wed, 01 Oct 2008 12:34:18 -0700
HP is shipping its first laptop with a 13.3-inch widescreen display. The HP Pavilion dv3500t series is already available on HP's site starting at $1,000, and a slightly higher-end configuration, the dv3520nr, is available for pre-order at Best Buy for $1,200. Other sites have reported that this model will be...
HP's first 13.3-inch Pavilion vs. the competition
Wed, 01 Oct 2008 12:34:18 -0700
HP is shipping its first laptop with a 13.3-inch widescreen display. The HP Pavilion dv3500t series is already available on HP's site starting at $1,000, and a slightly higher-end configuration, the dv3520nr, is available for pre-order at Best Buy for $1,200. Other sites have reported that this model will be...
A new mystery: What's Microsoft got up its Office Live sleeve?
Wed, 01 Oct 2008 12:22:06 -0700
It sounds like Microsoft has yet another Professional Developers Conference PDC announcement percolating -- beyond the Windows 7, Oslo, cloud OS (Red Dog/Zurich) and Mesh Platform stuff about which the company already has been dropping hints. by Mary Jo Foley
A new mystery: What's Microsoft got up its Office Live sleeve?
Wed, 01 Oct 2008 12:22:06 -0700
It sounds like Microsoft has yet another Professional Developers Conference PDC announcement percolating -- beyond the Windows 7, Oslo, cloud OS (Red Dog/Zurich) and Mesh Platform stuff about which the company already has been dropping hints. by Mary Jo Foley
A new mystery: What's Microsoft got up its Office Live sleeve?
Wed, 01 Oct 2008 12:22:06 -0700
It sounds like Microsoft has yet another Professional Developers Conference PDC announcement percolating -- beyond the Windows 7, Oslo, cloud OS (Red Dog/Zurich) and Mesh Platform stuff about which the company already has been dropping hints. by Mary Jo Foley

 

Subscribe to Operating_Systems RSS feed

L3-L4 Microkernel Family - Lean, with fast, message-based, synchronous IPC, simply-used external paging mechanisms, security mechanism based on secure domains: tasks, clans, chiefs. Kernels try to implement only a minimal set of abstractions on which OSs can be built flexibly. L3 has system-wide persistence.
Meta Description: [ The L3 and L4 microkernels: overview, status, download, installation, use, documentation ]

DROPS - The Dresden Realtime Operating System Project - L4 and Linux based research project aiming at the support of applications with Quality of Service requirements. At TU Dresden.
Meta Description: [ DROPS: overview ]

E1 - A distributed operating system based on the concepts of object replication, component model support and persistence. It consists of a L4 microkernel and a set of distributed objects acting at the user level. [Open source]
Meta Description: [ The E1 operating system is aimed to provide efficient support for reliable distributed computing, based on object replication, component model support and persistence. ]

Fiasco - Preemptible, realtime, 2nd-generation microkernel, fast, maintainable, readable, supports hard priorities, uses non-blocking synchronization for kernel objects to guarantee priority inheritance, ensure runnable high-priority processes never block waiting for lower ones; rework of L4 interface. [Open Source, GPL]
Meta Description: [ The Fiasco microkernel: overview, status, download, installation, use, documentation ]

L4 Microkernel - L4/MIPS: stable L4 for MIPS R4x00 processor, may be fastest kernel for this architecture. L4/Alpha: begun at Technical University of Dresden, SMP version released. Linux ports: L4/MIPS, L4/Alpha underway.

L4Ka Project - L4-based microkernel systems, for embedded systems to huge servers. L4: a tiny, fast, second generation microkernel using hierarchical external pagers and guarded page tables. Goals: create, prove, establish new methodology for systems that helps manage growing complexity and minimizes legacy dependence.
Meta Description: [ System Architecture Group, University of Karlsruhe, Germany ]

Mungi - Orthogonally persistent, capability-based secure SASOS using L4 2nd generation microkernel. Goals: Prove SASOSs can run on normal hardware, be as secure as normal OSs; can be as efficient as, and are faster than, normal OSs in some important uses; can be pure SASOSs with all data (even system data) in one address space and no other IPC mechanism is supported by OS. POSIX emulating. [Open Source, GPL]

Perseus - A secure platform for applications that use digital signatures. Based on L4 and Linux. Research project at Applied Data Security Group, Ruhr-University Bochum., Germany.

SawMill: A Highly-Configurable Operating System - Goal: address the complexity of building and maintaining a variety of custom OSs. As embedded and personal systems grow more common, the need to make OSs customized to many device and application needs rises. At IBM T.J. Watson Research Center.

SourceForge: L4Ka Microkernel - The L4Ka microkernel is an L4 compatible kernel running on many platforms: ARM; MIPS; 68k, PPC; x86. A port of Linux atop an L4Ka microkernel exists.
Meta Description: [ The world's largest development and download repository of Open Source code and applications ]

The Hurd on L4 - Porting the Hurd to the L4 microkernel. News, plans, pointers to mailing lists and websites.