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.
 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20061121/89ed4b09/attachment.htm>