| Directory > Computers > Software > Operating Systems > Realtime > 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/
Reviews Rating: Not yet Rated
Whois Check
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/
Reviews Rating: Not yet Rated
Whois Check
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/
Reviews Rating: Not yet Rated
Whois Check
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/
Reviews Rating: Not yet Rated
Whois Check
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/
Reviews Rating: Not yet Rated
Whois Check
L4-Hurd: Porting GNU Hurd to L4
Free Software Foundation project: page has brief pro and con description, many links.
http://www.gnu.org/software/hurd/l4-hurd.html
Reviews Rating: Not yet Rated
Whois Check
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 growing complexity and minimizes
legacy dependence.
http://l4ka.org/
Reviews Rating: Not yet Rated
Whois Check
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 has system-wide persistence.
http://os.inf.tu-dresden.de/L4/
Reviews Rating: Not yet Rated
Whois Check
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 for lower ones; rework of L4 interface.
[Open Source, GPL]
http://os.inf.tu-dresden.de/fiasco/
Reviews Rating: Not yet Rated
Whois Check
|
