Booting error of L4Linux enabled SMP surpport
Xiefeng (Stephen)
xiefeng1 at huawei.com
Fri May 29 09:20:29 CEST 2015
Hi,
I have a low-level mistake. The panic is not relate to SMP.
Before I use x86-mp_vPCI_defconfig as smp config file, I use x86-native_defconfig as unicore config file.
x86-mp_vPCI_defconfig do not enable CONFIG_EXT2 _FS, only enable CONFIG_EXT3_FS, and x86-native_defconfig also do not enable CONFIG_EXT2 _FS , but it enable CONFIG_EXT4_FS.
When loading ramdisk(EXT2 FILE SYSTEM), L4Linux which use x86-mp_vPCI_defconfig do not find the ramdisk, so kernel panic happened. When i enable CONFIG_EXT4_FS, it is OK.
Stephen
-----Original Message-----
From: Matthias Lange [mailto:matthias.lange at kernkonzept.com]
Sent: 2015年5月29日 14:55
To: l4-hackers at os.inf.tu-dresden.de
Cc: Xiefeng (Stephen)
Subject: Re: Booting error of L4Linux enabled SMP surpport
Hi,
On 05/28/2015 11:36 AM, Xiefeng (Stephen) wrote:
> Hi Adam,
>
> Thank you for your prompt. I have found the panic reason.
Would you mind sharing the reason and of course the solution with the community?
Thanks,
Matthias.
>
> Stephen
>
> -----Original Message-----
> From: l4-hackers [mailto:l4-hackers-bounces at os.inf.tu-dresden.de] On
> Behalf Of Adam Lackorzynski
> Sent: 2015年5月27日 6:35
> To: l4-hackers at os.inf.tu-dresden.de
> Subject: Re: Booting error of L4Linux enabled SMP surpport
>
> On Fri May 22, 2015 at 07:49:14 +0000, Xiefeng (Stephen) wrote:
>> Hi all,
>>
>> I use entry L4Linux-mag-x86 in modules.list to start a L4Linux on L4Re successfully. The codes is l4re-snapshot-2014092821.
>> L4Linux use x86-native_deconfig complie, use l4lx-gfx.cfg to start L4Linux. This config is just set one cpu for L4Linux.
>>
>> If I set l4x_cpus=2 in l4lx-gfx.cfg, use x86-mp_vPCI_defconfig and
>> set
>> CONFIG_NR_CPUS=2 to compile the L4Linux, when I start L4Linux, a kernel panic happened:
>>
>> l4linux | Loading: rom/ramdisk-x86.rd l4linux | INITRD: Size of
>> RAMdisk is 3072KiB l4linux | RAMdisk from
>> 88d70000 to 89070000 [3072KiB] l4linux | rtc not found l4linux |
>> l4lx_thread_create: Created thread 41f (timer0) (u:b3000a00,
>> v:00000000, sp:008e1fa8) l4linux | WARNING: Unknown wrmsr: 0000008b
>> at 0x414bad l4linux | WARNING: Unknown rdmsr: 00000186 at 0x85e1d6
>> l4linux | WARNING: Unknown rdmsr: 00000187 at 0x85e1d6 l4linux |
>> WARNING: Unknown wrmsr: 000000c1 at 0x85e2a7 l4linux | Launching cpu1
>> on pcpu 1 at 0x4024e0 l4linux | l4lx_thread_create: Created thread
>> 420
>> (cpu1) (u:b3000800, v:b3000600, sp:008c7fa8) l4linux | WARNING:
>> Unknown wrmsr: 0000008b at 0x414bad l4linux | l4lx_thread_create:
>> Created thread 424 (timer1) (u:b3000400, v:00000000, sp:008e3fa8)
>> l4linux | Spurious IPI on CPU0: 4 l4linux | panic: going to sleep
>> forever, bye
>
> Is there any output in the framebuffer window?
> Anyway, change the console=tty0 parameter in l4lx-gfx.cfg to
> console=ttyLv0 and also add earlyprintk=1 (plus make sure that CONFIG_EARLY_PRINTK is enabled). Then run again.
>
>
>
> Adam
>
--
Matthias Lange, matthias.lange at kernkonzept.com, +49 - 351 - 41 88 86 14
Kernkonzept GmbH. Sitz: Dresden. Amtsgericht Dresden, HRB 31129.
Geschäftsführer: Dr.-Ing. Michael Hohmuth
More information about the l4-hackers
mailing list