In Partnership with AOL Search
 
about dmoz | dmoz blog | suggest URL | update listing | become an editor | report abuse/spam | help
Open Directory - Computers: Software: Operating Systems: Realtime: L4
See also:
  • 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.
  • 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.
  • 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]
  • 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]
  • 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.
  • L4 Microkernel Family - Growing article, with links to many related topics. Wikipedia.
  • L4/Darwin: Darbat - Experimental port of Darwin to L4 to study traits of large-scale microkernel-based system; has port of IOKit to L4, modified libc to communicate to Darbat Server, XNU with many machine-dependent parts highly modified. National ICT Australia.
  • L4Ka Project - L4-based microkernel systems, for embedded systems to huge servers; Pistachio kernel. L4: tiny, fast, 2nd generation microkernel using hierarchical external pagers and guarded page tables. Goals: create, prove, establish new methodology for systems that helps manage growing complexity, minimize legacy dependence.
  • 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.
  • 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.
  • Virtualised OS: Wombat - Experimental port of Linux to run on L4/Iguana; is not intended to be standalone, best used as part of Iguana project. National ICT Australia.
Volunteer to edit this category.
[Linux Mozilla]
Copyright © 2013 Netscape Terms of Use
Visit our sister sites  mozilla.org | MusicMoz | Wikipedia

Last update: Thursday, December 18, 2008 6:15:04 AM EST - edit