l4lx | Done (1517 entries). l4lx | l4lx_thread_create: Created thread 0f.05 (timer.i0) l4lx | panic: going to sleep forever, bye

I have booted it with 512m ram under qemu. If you have kernel panic message above it means your l4linux kernel encounters some problem. In this situation you should use a serial console to receive l4linux booting messages. These messages could help you find what is wrong. My booting log is like this:

l4lx | Filling lower ptabs... l4lx | Done (1611 entries). l4lx | l4lx\_thread\_create: Created thread 10.05 (timer.i0) l4lx | l4lx\_thread\_create: Created thread 10.06 (Idler) maybe this could help you. Thank you. cheng