Download L⁴Linux

L⁴Linux is freely available under the GNU General Public License and available via SVN.

Older releases (linux22, linux(20)) are not available anymore. In urgent matters you may contact the webmaster to get access.

To use L⁴Linux on Fiasco, you also need the L4 development environment as well as Fiasco itself. To get the L4 programs required for L⁴Linux-2.6 please use the l4linux-2.6-env module.

    svn co http://svn.tudos.org/repos/l4linux/trunk l4linux-2.6

For experimenting or if you cannot or want to your local disk with its filesystem it is practical to have a RAMdisk. A RAMdisk of 16MB uncompressed with a stripped down Debian/GNU Linux Woody system is available here (5.4 MB compressed).

There's an experimental demo CD available, containing some of the L4 and DROPS applications including L⁴Linux, as well as a Debian GNU/Linux Live Filesystem for L⁴Linux. As of this writing, the CD is an ongoing project.

The Demo CD also contains some demonstrations for Fiasco-UX, running under Linux. This part is also available separately in the Demo-UX package.

Demo CD (uncompressed: 284MB): bz2'ed (106MB), zip'ed (118MB)
Demo UX: tar.gz (11M)

More information is available on the Demo page.