Problem booting l4linux

[fabs0028 at free.fr]

Hello

I 'm trying to boot my fresh l4linux, i used the following entry in grub as adam
 previously told me to.

title L4/Linux
root (hd0,0)
kernel /l4linux/rmgr -sigma0 task modname "L4Linux task" task modname "bmodfs"
module module module
modaddr 0x02000000
module /l4linux/fiasco -nowait -nokdb -serial_esc -comspeed 115200 -comport 1
module /l4linux/sigma0
module /l4linux/names
module /l4linux/log
module /l4linux/dm_phys
module /l4linux/simple_ts -t 300
module /l4linux/l4io --noirq
module /l4linux/bmodfs
 module /l4linux/libloader.s.so
 module /l4linux/run-l4
 module /l4linux/vmlinuz26
module /l4linux/l4exec
module /l4linux/loader --fprov=BMODFS run-l4



It starts but i get the following error messages :

simplets|configured for 300 tasks
bmodfs  | L4RM: [PF] read at 0x00000000, eip 0122c495, src A.01
bmodfs  | [A.0] l4rm/lib/src/pagefault.c:78:__unknowm_pf():
bmodfs  |  unhandled page fault



It seems to be a problem with a null pointer and i'm sure it is a problem in my
grub file but i don't know what's wrong. I tried to change some options but i
always get this problem but it is not always the same server that crashes, it
depends on my options.

Thanx for the help
Fabien Chaillou