Operating Systems
|
Operating Systems
|
|
| Operating Systems > Realtime > L4 |
| Categories |
|
|
|
| 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] |
| 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. |
| 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. |
| 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. |
|
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. |
| The Hurd on L4
Porting the Hurd to the L4 microkernel. News, plans, pointers to mailing lists and websites. |
| 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] |
| 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. |
The content of the websy directory is based on the Open Directory and is enhanced using Websy's own technology.
Copyright © 2002-2006, websy.net All Rights Reserved.