fiasco can't start correctly

[Adam Lackorzynski]

On Mon May 26, 2008 at 19:34:38 +0800, fei li wrote:
>   I have compiled the fiasco and l4 packages in the amd64 environment, now I
> get some binaries that I try to start the l4 in qemu, next is my menu.lst
> 
> color 24 52
> 
> title Example entry
> kernel /bootstrap32 -serial -modaddr 0x2000000
> module /main
> module /sigma0
> module /roottask
> module /omega0
> 
> Then in the qemu, it says "Read-write (data) checksum does not match",
> next is the outputs in the qemu window
> 
> L4 Bootstrapper
>   move modules to 2000000 with offset ed0000
>   move module 4 start 126e000 -> 213e000
>   move module 3 start 11d0000 -> 20a0000
>   move module 2 start 119c000 -> 206c000
>   move module 1 start 1130000 -> 2000000
>   Scanning /main
>   Scanning /sigma0
>   Scanning /roottask
>   Bootloader MMAP:
>     [        0,     9fc00) RAM (1)
>     [    9fc00,     a0000) reserved (2)
>     [    e8000,    100000) reserved (2)
>     [   100000,   7ff0000) RAM (1)
>     [  7ff0000,   8000000) ACPI (3)
>     [ fffc0000, 100000000) reserved (2)
>   Relocated mbi to [0x76000-0x760b8]
>   Loading /main
>   Loading /sigma0
>   Loading /roottask
>   find kernel info page...
>   found kernel info page at 0x1000
>     [     1000,     75fff] Kern   /main
>     [    76000,     761b5] Root   Multiboot info
>     [    9fc00,     9ffff] Arch   BIOS
>     [    e8000,     fffff] Arch   BIOS
>     [   100000,    10a6df] Sigma0 /sigma0
>     [   110000,    2c6fff] Root   /roottask
>     [   2d0080,    2daf57] Boot   bootstrap
>     [   300000,    34a8af] Kern   /main
>     [  213e000,   2187e07] Root   Modules Memory
>     [  7ff0000,   7ffffff] Arch   BIOS
>     [ fffc0000,  ffffffff] Arch   BIOS
>   API Version: (87) experimental
>   Sigma0 config    ip:0000000000104780 sp:00000000002da990
>   Roottask config  ip:0000000000110000 sp:0000000000000000
>   Starting kernel /main at 0000000000300ad0
> 
> Now i guess there are problems with the "main" binary, but i don't know what
> it is.

It's the Fiasco kernel.
 
> I choose amd64 in the "cpu type" option, then i get the errors I have
> mentioned, then i keep the default config and when I start the l4 in qemu,
> it says
> 
> Scanning /main
> This is an invalid binary, fix it.

Can you check that the main binary is really an 64-bit binary? (e.g.
with file). You should also place a #define VERBOSE_LOAD in the
beginning of bootstrap/server/src/startup.cc, recompile and try again.
There will be more output to see then.
 

Adam
-- 
Adam                 adam at os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/