rahul

On Sun, Nov 7, 2010 at 10:18 AM, Adam Lackorzynski <adam@os.inf.tu-dresden.de> 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@os.inf.tu-dresden.de
Lackorzynski http://os.inf.tu-dresden.de/~adam/

_______________________________________________
l4-hackers mailing list
l4-hackers@os.inf.tu-dresden.de
http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers