Operating Systems Group Dept. of CS TU-Dresden
- Running Linux on top of L4
Latest release: 2.6.35
Quick jumps
SVN
Ramdisk
Demos

Download L4Linux

L4Linux is available available via SVN and archive files.

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.

To use L4Linux on Fiasco, you also need the L4 runtime environment as well as Fiasco itself. To get the L4 programs required for L4Linux-2.6 please use the l4re and fiasco modules.

Downloading L4Linux-2.6 source via read-only SVN

The read-only SVN repository is available via HTTP at http://svn.tudos.org/repos/oc/l4linux/trunk.

    svn co http://svn.tudos.org/repos/oc/l4linux/trunk l4linux

This should give you a l4linux directory.

Getting L4Linux-2.6 source in archive files

Checkout the
L4Re download page, the l4re-snapshot files also contain L4Linux.

Getting the RAMdisk

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).

Demo CD

There's an experimental demo CD available, containing some of the L4 and DROPS applications including L4Linux, as well as a Debian GNU/Linux Live Filesystem for L4Linux. 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.

Last modified: Thu, Jun 10 2010, 11:10