Timing problem on mem_fpage_unmap() in the fiasco kernel
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", 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
More information about the l4-hackers