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
