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)
Hallo,
On Wed Mar 26, 2003 at 07:38:33 +0100, Fabian Sturm wrote:
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.
Thanks for the info, I fixed that on the webpage.
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
That looks good.
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?
Which version of GRUB are you using? Is it "our" version from CVS?
How did you configure Fiasco? Could you supply your configuration (globalconfig.out)!?
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.
This is ok too. :)
Adam
l4-hackers@os.inf.tu-dresden.de