On Mon Aug 17, 2015 at 11:17:51 -0400, Le Guan wrote: > Hello Adam, > After enabling SMP on L4Linux, the image runs well. Thank you so much! > Since I didn't enable SMP on fiasco and L4, the result is a l4Linux running > on uni-processor environment (top shows one core). Do you know why the > system crash without enable SMP? Is it a bug actually?
It is. There's a memory type misconfiguration in the UP case which does not happen for MP builds. Adam > On Sun, Aug 16, 2015 at 5:50 PM, Adam Lackorzynski < > a...@os.inf.tu-dresden.de> wrote: > > > On Fri Aug 14, 2015 at 15:13:17 -0400, Le Guan wrote: > > > Thanks for your reply and I'm sorry for the ambiguity of my description. > > In > > > fact, I have followed that thread and have solved many problems until the > > > last step. ( > > > http://os.inf.tu-dresden.de/pipermail/l4-hackers/2015/007551.html). You > > > guessed that it was the problem of the ramdisk, which I downloaded at > > > http://os.inf.tu-dresden.de/download/ramdisk-arm.rd . After that, you > > and > > > Mahdi no longer posted messages in this mailing list at this subject. > > So, I > > > want to know how you address this problem. > > > > Is that an SMP build of L4Linux? If not, please try an SMP config. > > > > Adam > > > > > >* RAMDISK: ext2 filesystem found at block 0 > > > *>* RAMDISK: Loading 3072KiB [1 disk] into ram disk... done. > > > *>* EXT4-fs (ram0): couldn't mount as ext3 due to feature > > incompatibilities > > > *>* EXT4-fs (ram0): mounting ext2 file system using the ext4 subsystem > > > *>* EXT4-fs (ram0): mounted filesystem without journal. Opts: (null) > > > *>* VFS: Mounted root (ext2 filesystem) readonly on device 1:0. > > > *>* Freeing unused kernel memory: 116K (02312000 - 0232f000) > > > *>* potentially unexpected fatal signal 4. > > > *> >* CPU: 0 PID: 1 Comm: sh Not tainted 3.16.0-l4 #3 > > > *>* task: 05c23ac0 ti: 05c26000 task.ti: 05c26000 > > > *>* PC is at 0xc4c0 > > > *>* LR is at 0x0 > > > *>* pc : [<0000c4c0>] lr : [<00000000>] psr: 00000010 > > > *>* sp : bfa42ef0 ip : 00000000 fp : 00000000 > > > *>* r10: 00000000 r9 : 00000000 r8 : 00000000 > > > *>* r7 : 00000000 r6 : 00000000 r5 : 00000000 r4 : 00000000 > > > *>* r3 : 00000000 r2 : 00000000 r1 : 00000000 r0 : 00000000 > > > *>* vcpu: b3000c00 vcpu-state: 00000001 > > > *>* Flags: nzcv IRQs on FIQs on Mode USER_32 ISA ARM Segment user > > > *>* CPU: 0 PID: 1 Comm: sh Not tainted 3.16.0-l4 #3 > > > *>* [<02000>] (unwind_backtrace) from [<02005924>] (show_stack+0x10/0x14) > > > *>* [<02005924>] (show_stack) from [<02028c50>] > > > *>* (get_signal_to_deliver+0x240/0x4cc) > > > *>* [<02028c50>] (get_signal_to_deliver) from [<02006fb4>] > > > *>* (do_signal+0x118/0x464) > > > *>* [<02006fb4>] (do_signal) from [<020073a0>] > > (do_work_pending+0xa0/0xe8) > > > *>* [<020073a0>] (do_work_pending) from [<02008d50>] > > > *>* (l4x_pre_iret_work.isra.31.part.32+0x60/0x104) > > > *>* [<02008d50>] (l4x_pre_iret_work.isra.31.part.32) from [<02009e38>] > > > *>* (l4x_vcpu_entry_c+0x274/0x1ddc) > > > *>* [<02009e38>] (l4x_vcpu_entry_c) from [<00000000>] ( (null)) > > > *>* Kernel panic - not syncing: Attempted to kill init! > > exitcode=0x00000004 > > > *> >* CPU: 0 PID: 1 Comm: sh Not tainted 3.16.0-l4 #3 > > > *>* [<02000>] (unwind_backtrace) from [<02005924>] (show_stack+0x10/0x14) > > > *>* [<02005924>] (show_stack) from [<022486c0>] (panic+0x8c/0x1dc) > > > *>* [<022486c0>] (panic) from [<0201e0b0>] (complete_and_exit+0x0/0x1c) > > > *>* [<0201e0b0>] (complete_and_exit) from [<00000001>] (0x1) > > > *>* ---[ end Kernel panic - not syncing: Attempted to kill init! > > > *>* exitcode=0x00000004 > > > *> >* panic: going to sleep forever, bye > > > *>* panic: going to sleep forever, bye* > > > > > > > > > Thanks a lot for your help! > > > > > > Regards, > > > Le Guan > > > > > > > > > Date: Fri, 14 Aug 2015 00:00:09 +0200 > > > > From: Adam Lackorzynski <a...@os.inf.tu-dresden.de> > > > > To: l4-hackers@os.inf.tu-dresden.de > > > > Subject: Re: Solution of the previous thread "Running L4Linux + Fiasco > > > > on Freescale i.MX 6 Sabre SD" > > > > Message-ID: <20150813220009.ga4...@os.inf.tu-dresden.de> > > > > Content-Type: text/plain; charset=iso-8859-1 > > > > > > > > On Thu Aug 13, 2015 at 10:43:33 -0400, Le Guan wrote: > > > > > Hi l4-hackers, > > > > > > > > > > Greetings! I encountered exactly the same problem as Mahdi's. His > > > > original > > > > > thread can be found at > > > > > http://os.inf.tu-dresden.de/pipermail/l4-hackers/2015/007491.html. > > > > > AS Mahdi and Adam communicated using private email later, I don't > > know if > > > > > the problem has been solved. If it has been solved, can anybody give > > me > > > > > some hint on it? > > > > > > > > When 'swp' is trapping then it's not enabled in the CPU. You can do so > > by > > > > enabling it in Fiasco's config. > > > > Alternative: Why is 'swp' used at all on an ARMv7 architecture as the > > > > imx6? Did you compile L4Linux for ARMv7? > > > > > > > > > > > > > > > > Adam > > > > -- > > > > Adam a...@os.inf.tu-dresden.de > > > > Lackorzynski http://os.inf.tu-dresden.de/~adam/ > > > > > > > > > _______________________________________________ > > > l4-hackers mailing list > > > l4-hackers@os.inf.tu-dresden.de > > > http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers > > > > > > -- > > Adam a...@os.inf.tu-dresden.de > > Lackorzynski http://os.inf.tu-dresden.de/~adam/ > > > > _______________________________________________ > > l4-hackers mailing list > > l4-hackers@os.inf.tu-dresden.de > > http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers > > > _______________________________________________ > l4-hackers mailing list > l4-hackers@os.inf.tu-dresden.de > http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers Adam -- Adam a...@os.inf.tu-dresden.de Lackorzynski http://os.inf.tu-dresden.de/~adam/ _______________________________________________ l4-hackers mailing list l4-hackers@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
