Re: Booting error of L4Linux enabled SMP surpport
Matthias Lange <[email protected]>
| Newsgroups | gmane.comp.micro-kernel.l4.devel |
|---|---|
| Message-ID | <[email protected]> |
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:[email protected]] On Behalf Of Adam Lackorzynski > Sent: 2015年5月27日 6:35 > To: [email protected] > 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, [email protected], +49 - 351 - 41 88 86 14 Kernkonzept GmbH. Sitz: Dresden. Amtsgericht Dresden, HRB 31129. Geschäftsführer: Dr.-Ing. Michael Hohmuth _______________________________________________ l4-hackers mailing list [email protected] http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers