Download L⁴Linux

L⁴Linux is available via the l4linux-*tar.xz file in L4Re snapshot's download direcotry.

This L⁴Linux is for the version of L4Re in the same directory.

For experimenting and for launching L4Re with L4Linux in virtual machines, a ramdisk with basic system tools is pretty practical. Here are ramdisks for various architectures using Busybox:

Historical Notes

Older releases (linux22, linux(20)) are not available anymore, they are buried in some old backup archives. You may contact the webmaster to get access.

A RAMdisk of 16MB uncompressed with a stripped down Debian/GNU Linux Woody system is available here (5.4 MB compressed).

Demo CD

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.