Timing problem on mem_fpage_unmap() in the fiasco kernel

[Adam Lackorzynski]

Hi,

On Tue Nov 21, 2006 at 17:00:46 +0900, Á¶¿Ï±Ù wrote:
> 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?? 

No, it's rather strange too. I can't believe that should make a
difference but if it works it's fine, I guess.




Adam
-- 
Adam                 adam at os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/