Web Directory

  L4 (14)

Submit a Featured Link: [$19.00] Submit a Regular Link: [$9.00]  

Nomoz Sub Categories

See Also - Related Categories
Featured Websites in this category
http://os.inf.tu-dresden.de/L4/
Featured Site L3-L4 Microkernel Family Open in a new browser windowLink Details
- 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/

Lock this listing - So it can't be removed Report this listing Add a new Featured link

Regular Websites in this category

Virtualised OS: Wombat Open in a new windowLink Details
- 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.
- http://ertos.nicta.com.au/software/kenge/wombat/latest/

Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listing
L4/Darwin: Darbat Open in a new windowLink Details
- 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.
- http://ertos.nicta.com.au/software/darbat/

Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listing
L4 Microkernel Family Open in a new windowLink Details
- Growing article, with links to many related topics. Wikipedia.
- http://en.wikipedia.org/wiki/L4_microkernel_family

Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listing
SawMill: A Highly-Configurable Operating System Open in a new windowLink Details
- 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://researchweb.watson.ibm.com/sawmill/

Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listing
E1 Open in a new windowLink Details
- 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]
- http://www.e1os.org/

Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listing
DROPS - The Dresden Realtime Operating System Project Open in a new windowLink Details
- 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

Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listing
Perseus Open in a new windowLink Details
- 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/

Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listing
Mungi Open in a new windowLink Details
- 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
- http://www.cse.unsw.edu.au/~disy/Mungi/

Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listing
The Hurd on L4 Open in a new windowLink Details
- Porting the Hurd to the L4 microkernel. News, plans, pointers to mailing lists and websites.
- http://www.nongnu.org/l4hurd/

Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listing
L4 Microkernel Open in a new windowLink Details
- 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/

Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listing
SourceForge: L4Ka Microkernel Open in a new windowLink Details
- 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/

Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listing
L4Ka Project Open in a new windowLink Details
- 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 h
- http://l4ka.org/

Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listing
Fiasco Open in a new windowLink Details
- 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/

Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listing

Submit a Featured Link: [$19.00]  Submit a Regular Link: [$9.00]