problems running hello in fiasco

[Fabian Sturm]

Hello!

I have a problem running the hello world example on fiasco.
I downloaded the latest CVS version from 25.4 of fiasco and
compiled it like it is described on the web. 
Except that the sigma0/rmgr binaries were in l4/bin/x86_586/l4v2
and not directly in l4/bin as described.

I then created the following grub entry:

title Fiasco, hello world
root (hd0,4)
kernel=/fiasco/rmgr -sigma0
module=/fiasco/main -nokdb
module=/fiasco/sigma0
module=/fiasco/hello

When I then boot into it I see some messages of the RMGR but
then the system is frozen.

Maybe someone knows what I should try next to track this down?

Thanks a lot, Fabian Sturm

My system is a P3 800Mhz 256MB ram notebook with the Intel i815
chipset. (Vaio vx88)
The build environment was Debian Linux 3.0 with gcc 2.95.4.

The boot messages were:

RMGR: Loading /fiasco/sigma0
RMGR: Loading Kernel fiasco main -nokdb
RMGR: check_l4_version 0x00300000 to 0x0044a244
RMGR: detected new_style DD-L4(v2)/Fiasco
RMGR: configuring s0: (0x00070000, 0x00096000), start: 0x00070000
RMGR: reserve modules memory range: 0x00200000 to 0x0021053c
RMGR: starting kernel /fiasco/main -nokdb proto=0x101ba0 @ 0x00300220

Booting kernel image at 0x302000 entry 0xf0001000
Enabling fully serial nested mode for pic
Using the RTC on IRQ 8 (1khz) for scheduling


(I hope I don't have introduced errors while copying that down)