Top : Computers : Software : Operating Systems : Realtime :
L4
Websites
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]
site exerpt
The Fiasco microkernel Documentation and reports Status information Download! Building and Using Wishlist Team Fiasco Related work Fiasco FAQ What's new Fiasco-UX Search in L4 and Fiasco sites: Quick links: Fiasco Manpage Fiasco source-code documentation L4 developer's bibliography L4-Hackers list archive L4 FAQ...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/
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 growing complexity and minimizes legacy dependence.
site exerpt
L4Ka The L4 microkernel family and friends Receive updatenotices for CVS and the Reference Manual. November 19 Unmodified Device Driver Reuse Paper to appear in OSDI'04 June 4 L4Ka::Pistachio Version 0.4 is now available for download. Microkernels are minimal but highly flexible kernels. Both conventional and non-classical...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.
site exerpt
SourceForge.net: L4KA microkernel Provide feedback on this page Recently changed page Site Status SF.net Projects L4KA microkernel Summary L4KA microkernel Stats RSS Summary Admin Home Page Tracker Bugs Support Requests Feature Requests Screenshots CVS Files Sponsored Downloads About L4KA microkernel The BFONT COLOR=REDL4/FONTKa/B...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.
site exerpt
L4 microkernel Liedtke continued development of the Intel version of L4 while at IBMTJWatson ResearchCenter and later at the University of Karlsruhe. We have developed L4 implementations for several platforms: L4/MIPS:a stable version for the MIPSR4x00 processor, to our knowledge the world's...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.
site exerpt
Research Mill project is aimed at addressing the complexity of building and maintaining a variety of custom operating systems. As the emergence of embedded and personal systems has taken place, the need to create operating systems customized to their device and...Porting the Hurd to the L4 microkernel. News, plans, pointers to mailing lists and websites.
site exerpt
Hurd on L4 The Hurd on L4 project is being organized over at the main Hurd web pages. You can go there now, or wait to be redirected....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.
site exerpt
www.perseus-os.org ...L4 and Linux based research project aiming at the support of applications with Quality of Service requirements. At TU Dresden.
site exerpt
DROPS Overview Project is a research project aiming at the support of applications with Quality of Service requirements. Although much research has been done on networking support for continuous-media applications, very few projects tackle related operating system issues, such as scheduling and...