L4Re: FATAL: Exception Operation not permitted: ''"

[Maximin Coste]

2013/5/31 Adam Lackorzynski <adam at os.inf.tu-dresden.de>:
> Has the L4Linux been rebuilt against updated L4Re? Since there's no
> output at all from it it must be quite early, probably even before the
> Linux-internal loader runs that generates some output.

I figured out what's line on the l4x config file where failing:

mem = L4.Env.mem_alloc:create(L4.Proto.Factory, 10*1024*1024),
                                                                      -----^
it's 10 for uC/OS-II and 64 for L4Linux.

When those lines aren't commented I have the error from my previous mail.

Without those line, the L4Linux have a strange behavior:
l4linux | Loading: rom/ramdisk-arm.rd
l4linux | INITRD: Size of RAMdisk is 3072KiB
l4linux | RAMdisk from 0a400000 to 0a700000 [3072KiB]
l4linux | panic: going to sleep forever, bye

Sudden kernel panic ?

-- 
Maximin COSTE-LEENHARDT