Canadian Content - L4
Realtime » L4   Canadian Content
    Search:
L4

L4 (Realtime)

Canadian Content - L4 Canadian Content > Computers: Software: Operating_Systems: Realtime: L4:


Similar Categories

L4 Subs:


IoL4@
Mungi@
Similar Categories Top/Computers/Software/Operating Systems/Microkernel
Similar Categories Top/Computers/Software/Operating Systems/Microkernel/Mach/GNU Hurd
Similar Categories Top/Computers/Software/Operating Systems/Open Source
Similar Categories Top/Computers/Software/Operating Systems/Persistent
Similar Categories Top/Computers/Software/Operating Systems/Realtime/Open Source
Similar Categories Top/Computers/Software/Operating Systems/Research
Similar Categories Top/Computers/Software/Operating Systems/x86

L4 Sites:

SourceForge: L4Ka Microkernel SourceForge: L4Ka Microkernel
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/
L4Ka Project L4Ka Project
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 g
http://l4ka.org/
L3-L4 Microkernel Family L3-L4 Microkernel Family
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 h
http://os.inf.tu-dresden.de/L4/
Perseus Perseus
Perseus A secure platform for applications that use digital signatures. Based on L4 and Linux. Research project at University of Saarbruecken, Germany.
http://www.perseusos.org/
L4 Microkernel L4 Microkernel
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/
The Hurd on L4 The Hurd on L4
The Hurd on L4 Porting the Hurd to the L4 microkernel. News, plans, pointers to mailing lists and websites.
http://www.nongnu.org/l4hurd/
Fiasco Fiasco
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
http://os.inf.tu-dresden.de/fiasco/
SawMill: A Highly-Configurable Operating System SawMill: A Highly-Configurable Operating System
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.
http://www.research.ibm.com/sawmill/
Usenet Links Usenet comp.os.misc - news: - Google Groups
Usenet Links Usenet comp.os.research - news: - Google Groups

L4 Related Pages: