Re: Re: Timing problem on mem_fpage_unmap() in the fiasco kernel

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.