On April 27, 1998, GMD has made available a rather ancient version of L4/i486 (which does not work with the L4Linux server) under a very restrictive license at http://www-set.gmd.de/download/.
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.
(hohmuth 98/10/20)
You can check out the latest version via our read-only remote CVS service.