L4Linux-2.4 is a port of the Linux 2.4 kernel to the L4 microkernel.
Linux 2.4 was ported to L4Ka::Pistachio by the System Architecture Group of Universität Karlsruhe to create L4Linux-2.4. It is based on the previous L4Linux-2.2 of the Operating Systems Group of Technische Universität Dresden. Adam Lackorzynski of TU Dresden extended L4Linux-2.4 to support Dresden's microkernels and operating environments (and has also kept L4Linux current with the official Linux kernel releases).
L4Linux-2.4 supports only the IA32 platform. It supports SMP when used with the L4Ka::Pistachio microkernel. And it is kept up-to-date with the latest Linux 2.4 releases (with a slight delay).
L4Linux is for the L4 developer community, and operating systems researchers and developers at large. L4Linux offers a great environment in which to develop and research with L4 microkernels. It offers the support infrastructure of Linux, yet the advantages of the L4 microkernel.
Like the Linux kernel, the L4Linux kernel is available under the GPL version 2 license.
You can obtain the L4Linux-2.4 source code from anonymous CVS.
To see information specific to running L4Linux-2.4 on microkernels from the Universität Karlsruhe, refer to l4ka.org.
To run L4Linux-2.4 on environments from Dresden's Operating Systems Group, visit http://os.inf.tu-dresden.de/L4/LinuxOnL4/.
General L4Linux information.