---

Add URL

My Sites

My Account

Contact Us

Search only in L4   Search the Web

 Home » Software » Operating Systems » Realtime » L4

Categories

IoL4 (7)

 Related Categories:
    Computers » Software » Operating Systems » Microkernel  (6)
    Computers » Software » Operating Systems » Microkernel » Mach » GNU Hurd
    Computers » Software » Operating Systems » Open Source  (15)
    Computers » Software » Operating Systems » Persistent
    Computers » Software » Operating Systems » Realtime » Open Source  (15)
    Computers » Software » Operating Systems » Research  (15)
    Computers » Software » Operating Systems » x86

Web Pages    1 - 10   {11}

1 - 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/   [more pages from this URL]     2 - 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/   [more pages from this URL]     3 - 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/   [more pages from this URL]     4 - 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 http://www.cse.unsw.edu.au/~disy/Mungi/   [more pages from this URL]     5 - 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/   [more pages from this URL]     6 - 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/   [more pages from this URL]     7 - 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   [more pages from this URL]     8 - The Hurd on L4   Porting the Hurd to the L4 microkernel. News, plans, pointers to mailing lists and websites. http://www.nongnu.org/l4hurd/   [more pages from this URL]     9 - E1   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/   [more pages from this URL]     10 - 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/   [more pages from this URL]

1  2  Next »»

E-Mail Add URL