Timing problem on mem_fpage_unmap() in the fiasco kernel

Adam Lackorzynski adam at os.inf.tu-dresden.de
Tue Nov 21 09:29:55 CET 2006


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 at os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/

More information about the l4-hackers mailing list