Building L4linux

Rahul Ramasubramanian ramasubramanian.rahul at
Sun Nov 7 21:08:25 CET 2010

hi adam
thanks for the reply..
i resolved the issue... i had missed a option in menuconfig.
Now after the build , i have a bootstrap_L4Linux_ARM.elf file.Can i run this
on the realview board using the boot monitor command run or is there
anything else which needs to be done ?


On Sun, Nov 7, 2010 at 10:18 AM, Adam Lackorzynski <
adam at> wrote:

> Hi,
> 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                 adam at
>  Lackorzynski
> _______________________________________________
> l4-hackers mailing list
> l4-hackers at
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the l4-hackers mailing list