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.