david suzuki 6.29.2004
http://os.inf.tu-dresden.de/L4/ here is the L4 page! (from the page) The L4 Е-Kernel
Family Overview What is L4? Originally, L4 is the name of a second-generation Е-kernel
(microkernel) designed and implemented by Jochen Liedtke, running on i486 and Pentium
CPUs. However, there are now numerous implementations of the L4 API (application
programming interface) on several hardware architectures. That's why, on this website
we usually refer to the ``L4 Е-kernel interface'' (see below). When we refer to Jochen's
original implementation, we say ``L4/x86''. What implementations of the L4 Е-kernel
interface do exist? There are implementations for x86, Alpha, ARM, and R4x00 CPUs.
Please see the implementations page for more information.
http://os.inf.tu-dresden.de/L4/impl.html
(the L4 family) Implementations of the L4 Е-Kernel interface The implementation
names are links to the implementations' home pages where you can find documentation
and further information about that L4 implementation. (In approximately reverse-chronological
order of release; active projects printed in bold) Name CPU Implementation language
License Main author / Maintainer Organization Pistachio Pentium or better, IA64, PowerPC,
Alpha, 64-bit MIPS C++ BSD license L4KA team L4KA at Uni KA and UNSW Fiasco i486 or
better, StrongARM, Linux (user-mode L4 emulation) C++ GPL or commercial Michael
Hohmuth and Team Fiasco TU Dresden P4 x86, MIPS, PowerPC, ARM C commercial
Robert Kaiser Sysgo AG L4 for PowerPC PowerPC 603e C Not yet available Mike Bennett
Univ. of York Hazelnut *1 Pentium or better, StrongARM C++ GPL or commercial L4KA
team L4KA at Uni KA L4/MIPS *1 MIPS R4x00 C GPL Kevin Elphinstone / Gernot Heiser
UNSW L4/Alpha *1 Alpha AXP 21264 Assembly language GPL Sebastian Schnberg /
Daniel Potts / Simon Winwood TU Dresden, UNSW L4/x86 (aka. Lava Nucleus, aka
Lemon Pip) *1 i486 or better Assembly language *2 Jochen Liedtke GMD, IBM Watson,
Uni KA Notes: *1 Development has been discontinued *2 Old version available from
GMD under a non-commercial license. Newer versions currently not available publicly. --------------------------------------------------------------------------------