L4

L4: a growing family of 2nd-generation microkernel realtime operating systems (RTOSs) that are fast, small, lean, maintainable, readable, preemptible, support hard priorities, use non-blocking synchronization for kernel objects to guarantee priority inheritance and ensure runnable high-priority processes never block waiting for lower ones. All scale well from tiny embedded systems to huge servers, and use hierarchical external pagers and guarded page tables, 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. All kernels are roughly compatible and many run on many platforms: ARM; MIPS; 68k, PPC; x86; L4Linux ports exist. Goals: create, prove, establish new methodology for systems that helps manage growing OS complexity and minimizes legacy dependence. [Open Source, GPL]

Sub-Categories:

Single_Address_Space@

News:

comp.os.misc

comp.os.research

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]
Rate this
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.
Rate this
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.
Rate this
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.
Rate this
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.
Rate this
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.
Rate this
Perseus - A secure platform for applications that use digital signatures. Based on L4 and Linux. Research project at University of Saarbruecken, Germany.
Rate this
The Hurd on L4 - Porting the Hurd to the L4 microkernel. News, plans, pointers to mailing lists and websites.
Rate this

Web Search for L4 Realtime Operating Systems Software Computers - News search for L4 Realtime Operating Systems Software Computers - encyclopedia entries for L4 Realtime Operating Systems Software Computers