Searchalot

Internet Directory - Top : Computers : Software : Operating Systems : Realtime : L4

Top : Computers : Software : Operating Systems : Realtime : L4 (16 web sites)
IoL4
 Related Categories
Computers: Software: Operating_Systems: Microkernel: Mach: GNU_Hurd
Computers: Software: Operating_Systems: Microkernel
Computers: Software: Operating_Systems: Open_Source
Computers: Software: Operating_Systems: Realtime: Open_Source
Computers: Software: Operating_Systems: Persistent
Computers: Software: Operating_Systems: Research
Computers: Software: Operating_Systems: x86
 Related Web Pages

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

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

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

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

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

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

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