Directory of L4 Resources

Home > Computers > Software > Operating Systems > Realtime > 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]

Subcategories

• IoL4

Resources in This Category

• DROPS - The Dresden Realtime Operating System Project

  http://os.inf.tu-dresden.de/drops/overview.html
  L4 and Linux based research project aiming at the support of applications with Quality of Service requirements. At TU Dresden.

• E1

  http://www.e1os.org/
  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

  http://os.inf.tu-dresden.de/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

  http://os.inf.tu-dresden.de/L4/
  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.

• L4 Microkernel

  http://www.cse.unsw.edu.au/~disy/L4/
  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

  http://en.wikipedia.org/wiki/L4_microkernel_family
  Growing article, with links to many related topics. Wikipedia.

• L4Ka Project

  http://l4ka.org/
  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

  http://www.cse.unsw.edu.au/~disy/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

  http://www.perseus-os.org/
  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.

• Porting the Hurd to another microkernel

  https://www.gnu.org/software/hurd/history/port_to_another_microkernel.html
  Porting the Hurd to the L4 microkernel. News, plans, pointers to mailing lists and websites.

• SourceForge: L4Ka Microkernel

  http://sourceforge.net/projects/l4ka/
  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.

Related Categories

• Home > Computers > Software > Operating Systems > Microkernel
• Home > Computers > Software > Operating Systems > Microkernel > Mach > GNU Hurd
• Home > Computers > Software > Operating Systems > Open Source
• Home > Computers > Software > Operating Systems > Persistent
• Home > Computers > Software > Operating Systems > Realtime > Open Source
• Home > Computers > Software > Operating Systems > Research
• Home > Computers > Software > Operating Systems > x86

 

Home > Computers > Software > Operating Systems > Realtime > L4

 

---

 

Thanks to DMOZ, which built a great web directory for nearly two decades and freely shared it with the web. About us