L4
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.
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 …
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/…
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. Goal…
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 …
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.
The Hurd on L4
Porting the Hurd to the L4 microkernel. News, plans, pointers to mailing lists and websites.
Showing 20–11 of 11 results