Re: 64bit kernel not booting with CONFIG_PRINTK_TIME=y

Previous message: [thread] [date] [author]
Next message: [thread] [date] [author]
From: Kyle McMartin
Date: Saturday, July 19, 2008 - 4:04 pm

On Sat, Jul 19, 2008 at 05:54:59PM -0400, Kyle McMartin wrote:

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
this...

(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)
 	tick_init();
 	boot_cpu_init();
 	page_address_init();
+	setup_arch(&command_line);
 	printk(KERN_NOTICE);
 	printk(linux_banner);
-	setup_arch(&command_line);
 	mm_init_owner(&init_mm, &init_task);
 	setup_command_line(command_line);
 	unwind_setup();
--
Previous message: [thread] [date] [author]
Next message: [thread] [date] [author]

Messages in current thread:
Re: 64bit kernel not booting with CONFIG_PRINTK_TIME=y, Kyle McMartin, (Sat Jul 19, 2:54 pm)
Re: 64bit kernel not booting with CONFIG_PRINTK_TIME=y, Kyle McMartin, (Sat Jul 19, 4:04 pm)
Re: 64bit kernel not booting with CONFIG_PRINTK_TIME=y, Kyle McMartin, (Mon Jul 28, 9:29 pm)
Re: 64bit kernel not booting with CONFIG_PRINTK_TIME=y, Guy Martin, (Tue Jul 29, 10:42 am)