Re: 64bit kernel not booting with CONFIG_PRINTK_TIME=y

[Kyle McMartin]

On Sun, Jul 20, 2008 at 11:23:45AM +0200, Guy Martin wrote:
> [    0.000000] FP[0] enabled: Rev 1 Model 16
> [    0.000000] The 64-bit Kernel has started...

I pushed a better fix to my git tree on kernel.org on top of
v2.6.27-rc1. Can you test that?

r, Kyle
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/