Building L4linux

Adam Lackorzynski adam at
Sun Nov 7 16:18:53 CET 2010


On Fri Nov 05, 2010 at 16:52:34 +0100, Maxime Lastera wrote:
> I have built succefully L4linux. I have used the snapshot version.
> So now I want to run it, but I don't have tftboot directory in l4linux tree.
> I can't follow the example because I don't have many modules like
> names l4io

Admittedly the website documentation is not up to date for L4Re. Need to
fix that.

> a vmlinuz file is in l4linux tree.
> what are the steps to boot on L4linux from harddrive ?

First, try the setup in QEmu (or similar). This is much more convenient
than rebooting the host system, esp. if you do not have a separate
test-machine and a serial link.
The snapshot contains a L4Linux-setup, although for ARM. The config
script works for both architecture, just change to modules accordingly
in the modules.list file. For the io-config file, just remove it for the
beginning. Then, go the l4re build directory and do "make image E=l4linux".
So will generate you an ELF image in the images directory which you can
boot with "qemu -kernel bootstrap.elf -m 256 -serial stdio" and later on
also with e.g. GRUB.

Adam                 adam at

More information about the l4-hackers mailing list