| Operating Systems Group Dept. of CS TU-Dresden | ||
| ||
| Latest release: 2.6.35 |
Using L4LinuxBooting L4LinuxWe'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.
|