2013/5/31 Adam Lackorzynski adam@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 ?