[back to L4 home page]
The L4 µ-Kernel Family
Navigate L4/x86 Section:
L4/x86 Microkernel AvailabilityIn March 1998, GMD, the owner of L4/i486, ``advised'' us (TU Dresden) to stop the redistribution of the L4/i486 micro-kernel.
We have been in talks about an acceptable redistribution license with the current owners of Jochen Liedtke's L4 implementation for i486 and Pentium, GMD and IBM Research, even though the current results (stopped redistribution) are rather disappointing.
We at TU Dresden have become quite fed up with the bureaucratic and political hick-hack and the general unwillingness of those organizations. For this and other reasons, we finally decided to implement a new, compatible microkernel on our own. The first version of this new microkernel, named ``Fiasco,'' has been released in October 1998.
Development EnvironmentOur development environment for L4 consists of the following components:
You can check out the latest version via our read-only SVN service.
Last modified: Thu Dec 18 15:26:47 CET 2003