Re: 64bit kernel not booting with CONFIG_PRINTK_TIME=y

From: Kyle McMartin
Date: Sat Jul 19 2008 - 19:04:29 EST

On Sat, Jul 19, 2008 at 05:54:59PM -0400, Kyle McMartin wrote:
> I'm *guessing* that umoddi3 or udivdi3 is doing an xmpyu or something,
> which since this is probably before fpu init, is trapping, which is
> trying to printk, which is recursively exploding.

If my guess is right, this quick fix might work. Can you please test it,
as my a500 decided to have its scsi controller die in the middle of

(Proper fix is probably to bring fpu bringup into head.S, since it will
be necessary for any printk with CONFIG_PRINTK_TIME on. (Or bring back
my use embedded libgcc patch, which was buggy on 32-bit. :\ ))

diff --git a/init/main.c b/init/main.c
index edeace0..729b150 100644
--- a/init/main.c
+++ b/init/main.c
@@ -560,9 +560,9 @@ asmlinkage void __init start_kernel(void)
+ setup_arch(&command_line);
- setup_arch(&command_line);
mm_init_owner(&init_mm, &init_task);
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at
Please read the FAQ at