Wectar - Computers - Software - Operating Systems - Realtime - L4

Subcategories
IoL4@

	Virtualised OS: Wombat URL: http://ertos.nicta.com.au/software/kenge/wombat/latest/ ODP description: 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. Page title: Index - ERTOS - National ICT Australia Page description: description
	Mungi URL: http://www.cse.unsw.edu.au/~disy/Mungi/ ODP description: 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] Page title: Mungi - ERTOS - National ICT Australia Page description: description
	E1 URL: http://www.e1os.org/ ODP description: 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] Page title: E1 Distributed Operating System Page description: The E1 operating system is aimed to provide efficient support for reliable distributed computing, based on object replication, component model support and persistence.
	Fiasco URL: http://os.inf.tu-dresden.de/fiasco/ ODP description: 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] Page title: The Fiasco microkernel Page description: The Fiasco microkernel: overview, status, download, installation, use, documentation
	SourceForge: L4Ka Microkernel URL: http://sourceforge.net/projects/l4ka/ ODP description: 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. Page title: SourceForge.net: L4KA microkernel Page description: The world's largest development and download repository of Open Source code and applications
	L3-L4 Microkernel Family URL: http://os.inf.tu-dresden.de/L4/ ODP description: 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. Page title: The L4 microkernel family Page description: The L3 and L4 microkernels: overview, status, download, installation, use, documentation
	L4 Microkernel URL: http://www.cse.unsw.edu.au/~disy/L4/ ODP description: 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. Page title: L4 microkernel
	Perseus URL: http://www.perseus-os.org/ ODP description: 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. Page title: The PERSEUS Security Framework
	L4 Microkernel Family URL: http://en.wikipedia.org/wiki/L4_microkernel_family ODP description: Growing article, with links to many related topics. Wikipedia. Page title: L4 microkernel family - Wikipedia, the free encyclopedia
	The Hurd on L4 URL: http://www.nongnu.org/l4hurd/ ODP description: Porting the Hurd to the L4 microkernel. News, plans, pointers to mailing lists and websites. Page title: Hurd on L4
	DROPS - The Dresden Realtime Operating System Project URL: http://os.inf.tu-dresden.de/drops/overview.html ODP description: L4 and Linux based research project aiming at the support of applications with Quality of Service requirements. At TU Dresden. Page title: DROPS - Overview Page description: DROPS: overview
	L4/Darwin: Darbat URL: http://ertos.nicta.com.au/software/darbat/ ODP description: 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. Page title: Darbat - ERTOS - National ICT Australia Page description: description
	L4Ka Project URL: http://l4ka.org/ ODP description: 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. Page title: L4Ka - The L4 microkernel family and friends Page description: System Architecture Group, University of Karlsruhe, Germany