|Operating Systems Group Dept. of CS TU-Dresden|
|Latest release: 4.14|
L4Linux is available available via SVN and archive files.
To use L4Linux you need L4Re. To get the L4 programs required for L4Linux please use the l4linux_requirements and fiasco modules.
Downloading L4Linux source via read-only SVN
The read-only SVN repository is available via HTTP
svn co https://svn.l4re.org/repos/oc/l4linux/trunk l4linux
This should give you a
Getting L4Linux source in archive filesCheckout the L4Re download page, the l4re-snapshot files also contain L4Linux.
Getting the RAMdisk
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:
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.
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.
More information is available on the Demo page.