Re: 64bit kernel not booting with CONFIG_PRINTK_TIME=y

Previous message: [thread] [date] [author]
Next message: [thread] [date] [author]
From: Guy Martin
Date: Tuesday, July 29, 2008 - 10:42 am

Hi Kyle,

Works like a charm !

ELF64 executable
Entry 00100000 first 00100000 n 3
Segment 0 load 00100000 size 5029888 mediaptr 0x1000
Segment 1 load 0063c000 size 395176 mediaptr 0x4cd000
Segment 2 load 006a0000 size 251456 mediaptr 0x52e000
Branching to kernel entry point 0x00100000.  If this is the last
message you see, you may need to switch your console.  This is
a common symptom -- search the FAQ and mailing list at parisc-linux.org

[17179569.184000] Linux version 2.6.27-rc1 (root@spiderman) (gcc version 4.2.4 (Gentoo 4.2.4 p1.0)) #1 SMP Tue Jul 29 19:32:01 CEST 2008
[17179569.184000] FP[0] enabled: Rev 1 Model 16
[17179569.184000] The 64-bit Kernel has started...
[17179569.184000] console [ttyB0] enabled
[17179569.184000] Initialized PDC Console for debugging.
[17179569.184000] Determining PDC firmware type: 64 bit PAT.


Thanks,
  Guy


On Tue, 29 Jul 2008 00:29:29 -0400
Kyle McMartin <kyle@mcmartin.ca> wrote:



-- 
Guy Martin
Gentoo Linux - HPPA port lead
--
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)