Operating Systems Group Dept. of CS TU-Dresden
- Running Linux on top of L4
Latest release: 2.6.35

Using L4Linux

Booting L4Linux

We're using a RAMdisk here which is available in the download directory. It contains very stripped down version of Debian GNU/Linux. The image is compressed and can be used as found in the download directory.

For this explaination we assume that you have a basic understanding of the L4 environment and have the necessary tools for L4Linux to work. Furthermore you should know how to use GRUB and how to boot an L4 system.

Last modified: Fri, Apr 14 2006, 14:35