Hi,
I solved the timing problem. I just unset the "Show timing information on printks" in "kernel hacking". I found that when the system tries to free INITRD and vprintk() function tries to access any local buffer such as "char tbuf[50]", the system hangs on.
I also found all the config files in "l4linux-2.6/arch/arm/configs" unset the option. The option can't work for arm architecture???
Do you know anything about that??
Thank you.