Hello, guys!
I've successfully built the latest L4RE snapshot for beagleboard. Any apps and even L4Linux work like a charm. It simply rocks!
Right now I'm trying to run the latest snapshot on pandaboard. I've successfully built it. Helloworld example is OK, but L4Linux gets a certain error while booting:
l4linux | libio: Warning: Query of 'vbus' failed! l4linux | PH 0 (t: 1) offs=00008000 vaddr=02000000 vend=02362f1c l4linux | phys=02000000 ephys=02362f1c l4linux | f_sz=002de3b6 memsz=00362f1c flgs=rwx l4linux | PH 1 (t: 4) offs=002a16ec vaddr=022996ec vend=02299710 l4linux | phys=022996ec ephys=02299710 l4linux | f_sz=00000024 memsz=00000024 flgs=r-x l4linux | PH 2 (t: 1685382481) offs=00000000 vaddr=00000000 vend=00000000 l4linux | phys=00000000 ephys=00000000 l4linux | f_sz=00000000 memsz=00000000 flgs=rwx l4linux | Starting binary at 0x20002a0, argc=7 argv=0x80007f8c *argv=0xb1007ff0m l4linux | External resolver is at 0xa8000798 l4linux | ======> L4Linux starting... <======== l4linux | Linux version 3.12.0-l4 (user1@debian) (gcc version 4.7.3 (Sourcery C4 l4linux | Binary name: rom/vmlinuz.arm l4linux | This is an AEABI build. l4linux | Linux kernel command line (6 args): mem=64M console=ttyLv0 l4x_rd=romh l4linux | CPU mapping (l:p)[1]: 0:0 l4linux | Image: 02000000 - 02400000 [4096 KiB]. l4linux | Areas: Text: 02000000 - 022b8000 [2784kB] (a bit longer) l4linux | Data: 022b8000 - 022d9200 [132kB] l4linux | Initdata: 0229a000 - 022b635c [112kB] l4linux | BSS: 022de3b6 - 02362f1c [530kB] l4linux | Device scan: l4linux | Device scan done. l4linux | l4lx_thread_create: Created thread 413 (cpu0) (u:b3000e00, v:b3000c00) l4linux | main thread will be 413 l4linux | l4x_register_pointer_section: addr = 02000000 size = 3551232 l4linux | section-with-init: Virt: 0x2000000 to 0x2362f1b [3467 KiB] l4linux | section-with-init: Phys: 0x8031e000 to 0x80680f1b, [3467 KiB] l4linux | Main thread running, waiting... l4linux | L4x: Memory size: 64MB l4linux | L4x: Setting superpages for main memory l4linux | L4x: Adjusted memory start: 02000000 l4linux | Main memory: Virt: 0x2400000 to 0x63fffff [65536 KiB] l4linux | Main memory: Phys: 0x81900000 to 0x858fffff, [65536 KiB] l4linux | l4x: vmalloc area: 06400000 - 0e400000 l4linux | l4x_register_pointer_section: addr = 02000000 size = 3551232 l4linux | text: Virt: 0x2000000 to 0x2362f1b [3467 KiB] l4linux | text: Phys: 0x8031e000 to 0x80680f1b, [3467 KiB] l4linux | l4x_rd_path: rom/ramdisk-arm.rd l4linux | Loading: rom/ramdisk-arm.rd l4linux | INITRD: Size of RAMdisk is 3072KiB l4linux | RAMdisk from 00002000 to 00302000 [3072KiB] l4linux | 'swp(b)' instruction at 021ec5a0 and faulting. l4linux | Linux built for the wrong ARM version?
The last 2 lines are going to be repeated forever :-)
I've tried both 4.7 and 4.8 gcc by Linaro and CodeSourcery and always get the same error.
What can be a problem?
Greetings! Looking forward for your help!
It seems to be the 'swp' instruction. ARMv7 processors don't support 'swp' instruction but the prebuilt ramdisk contains a 'swp'. If my gusee is right, then you could solve this problem by enabling CONFIG_SWP_EMULATE in linux. Here's the related kernel doc: swp_emulationhttps://www.kernel.org/doc/Documentation/arm/swp_emulation .
On Fri, Feb 7, 2014 at 10:16 PM, Комаров Тимофей happycorsair@yandex.ruwrote:
Hello, guys!
I've successfully built the latest L4RE snapshot for beagleboard. Any apps and even L4Linux work like a charm. It simply rocks!
Right now I'm trying to run the latest snapshot on pandaboard. I've successfully built it. Helloworld example is OK, but L4Linux gets a certain error while booting:
l4linux | libio: Warning: Query of 'vbus' failed! l4linux | PH 0 (t: 1) offs=00008000 vaddr=02000000 vend=02362f1c l4linux | phys=02000000 ephys=02362f1c l4linux | f_sz=002de3b6 memsz=00362f1c flgs=rwx l4linux | PH 1 (t: 4) offs=002a16ec vaddr=022996ec vend=02299710 l4linux | phys=022996ec ephys=02299710 l4linux | f_sz=00000024 memsz=00000024 flgs=r-x l4linux | PH 2 (t: 1685382481) offs=00000000 vaddr=00000000 vend=00000000 l4linux | phys=00000000 ephys=00000000 l4linux | f_sz=00000000 memsz=00000000 flgs=rwx l4linux | Starting binary at 0x20002a0, argc=7 argv=0x80007f8c *argv=0xb1007ff0m l4linux | External resolver is at 0xa8000798 l4linux | ======> L4Linux starting... <======== l4linux | Linux version 3.12.0-l4 (user1@debian) (gcc version 4.7.3 (Sourcery C4 l4linux | Binary name: rom/vmlinuz.arm l4linux | This is an AEABI build. l4linux | Linux kernel command line (6 args): mem=64M console=ttyLv0 l4x_rd=romh l4linux | CPU mapping (l:p)[1]: 0:0 l4linux | Image: 02000000 - 02400000 [4096 KiB]. l4linux | Areas: Text: 02000000 - 022b8000 [2784kB] (a bit longer) l4linux | Data: 022b8000 - 022d9200 [132kB] l4linux | Initdata: 0229a000 - 022b635c [112kB] l4linux | BSS: 022de3b6 - 02362f1c [530kB] l4linux | Device scan: l4linux | Device scan done. l4linux | l4lx_thread_create: Created thread 413 (cpu0) (u:b3000e00, v:b3000c00) l4linux | main thread will be 413 l4linux | l4x_register_pointer_section: addr = 02000000 size = 3551232 l4linux | section-with-init: Virt: 0x2000000 to 0x2362f1b [3467 KiB] l4linux | section-with-init: Phys: 0x8031e000 to 0x80680f1b, [3467 KiB] l4linux | Main thread running, waiting... l4linux | L4x: Memory size: 64MB l4linux | L4x: Setting superpages for main memory l4linux | L4x: Adjusted memory start: 02000000 l4linux | Main memory: Virt: 0x2400000 to 0x63fffff [65536 KiB] l4linux | Main memory: Phys: 0x81900000 to 0x858fffff, [65536 KiB] l4linux | l4x: vmalloc area: 06400000 - 0e400000 l4linux | l4x_register_pointer_section: addr = 02000000 size = 3551232 l4linux | text: Virt: 0x2000000 to 0x2362f1b [3467 KiB] l4linux | text: Phys: 0x8031e000 to 0x80680f1b, [3467 KiB] l4linux | l4x_rd_path: rom/ramdisk-arm.rd l4linux | Loading: rom/ramdisk-arm.rd l4linux | INITRD: Size of RAMdisk is 3072KiB l4linux | RAMdisk from 00002000 to 00302000 [3072KiB] l4linux | 'swp(b)' instruction at 021ec5a0 and faulting. l4linux | Linux built for the wrong ARM version?
The last 2 lines are going to be repeated forever :-)
I've tried both 4.7 and 4.8 gcc by Linaro and CodeSourcery and always get the same error.
What can be a problem?
Greetings! Looking forward for your help!
l4-hackers mailing list l4-hackers@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
On Fri Feb 07, 2014 at 18:16:11 +0400, ëÏÍÁÒÏ× ôÉÍÏÆÅÊ wrote:
Hello, guys!
I've successfully built the latest L4RE snapshot for beagleboard. Any apps and even L4Linux work like a charm. It simply rocks!
Right now I'm trying to run the latest snapshot on pandaboard. I've successfully built it. Helloworld example is OK, but L4Linux gets a certain error while booting:
l4linux | libio: Warning: Query of 'vbus' failed! l4linux | PH 0 (t: 1) offs=00008000 vaddr=02000000 vend=02362f1c l4linux | phys=02000000 ephys=02362f1c l4linux | f_sz=002de3b6 memsz=00362f1c flgs=rwx l4linux | PH 1 (t: 4) offs=002a16ec vaddr=022996ec vend=02299710 l4linux | phys=022996ec ephys=02299710 l4linux | f_sz=00000024 memsz=00000024 flgs=r-x l4linux | PH 2 (t: 1685382481) offs=00000000 vaddr=00000000 vend=00000000 l4linux | phys=00000000 ephys=00000000 l4linux | f_sz=00000000 memsz=00000000 flgs=rwx l4linux | Starting binary at 0x20002a0, argc=7 argv=0x80007f8c *argv=0xb1007ff0m l4linux | External resolver is at 0xa8000798 l4linux | ======> L4Linux starting... <======== l4linux | Linux version 3.12.0-l4 (user1@debian) (gcc version 4.7.3 (Sourcery C4 l4linux | Binary name: rom/vmlinuz.arm l4linux | This is an AEABI build. l4linux | Linux kernel command line (6 args): mem=64M console=ttyLv0 l4x_rd=romh l4linux | CPU mapping (l:p)[1]: 0:0 l4linux | Image: 02000000 - 02400000 [4096 KiB]. l4linux | Areas: Text: 02000000 - 022b8000 [2784kB] (a bit longer) l4linux | Data: 022b8000 - 022d9200 [132kB] l4linux | Initdata: 0229a000 - 022b635c [112kB] l4linux | BSS: 022de3b6 - 02362f1c [530kB] l4linux | Device scan: l4linux | Device scan done. l4linux | l4lx_thread_create: Created thread 413 (cpu0) (u:b3000e00, v:b3000c00) l4linux | main thread will be 413 l4linux | l4x_register_pointer_section: addr = 02000000 size = 3551232 l4linux | section-with-init: Virt: 0x2000000 to 0x2362f1b [3467 KiB] l4linux | section-with-init: Phys: 0x8031e000 to 0x80680f1b, [3467 KiB] l4linux | Main thread running, waiting... l4linux | L4x: Memory size: 64MB l4linux | L4x: Setting superpages for main memory l4linux | L4x: Adjusted memory start: 02000000 l4linux | Main memory: Virt: 0x2400000 to 0x63fffff [65536 KiB] l4linux | Main memory: Phys: 0x81900000 to 0x858fffff, [65536 KiB] l4linux | l4x: vmalloc area: 06400000 - 0e400000 l4linux | l4x_register_pointer_section: addr = 02000000 size = 3551232 l4linux | text: Virt: 0x2000000 to 0x2362f1b [3467 KiB] l4linux | text: Phys: 0x8031e000 to 0x80680f1b, [3467 KiB] l4linux | l4x_rd_path: rom/ramdisk-arm.rd l4linux | Loading: rom/ramdisk-arm.rd l4linux | INITRD: Size of RAMdisk is 3072KiB l4linux | RAMdisk from 00002000 to 00302000 [3072KiB] l4linux | 'swp(b)' instruction at 021ec5a0 and faulting. l4linux | Linux built for the wrong ARM version?
The last 2 lines are going to be repeated forever :-)
There's an "enable (deprecated) SWP instruction" option in the Fiasco config. Did you enable this one?
Adam
Dear Adam! Dear Wei! Thanks for your help! You were absolutely right about this option! Greetings!
08.02.2014, 01:35, "Adam Lackorzynski" adam@os.inf.tu-dresden.de:
On Fri Feb 07, 2014 at 18:16:11 +0400, ëÏÍÁÒÏ× ôÉÍÏÆÅÊ wrote:
Hello, guys!
I've successfully built the latest L4RE snapshot for beagleboard. Any apps and even L4Linux work like a charm. It simply rocks!
Right now I'm trying to run the latest snapshot on pandaboard. I've successfully built it. Helloworld example is OK, but L4Linux gets a certain error while booting:
l4linux | libio: Warning: Query of 'vbus' failed! l4linux | PH 0 (t: 1) offs=00008000 vaddr=02000000 vend=02362f1c l4linux | phys=02000000 ephys=02362f1c l4linux | f_sz=002de3b6 memsz=00362f1c flgs=rwx l4linux | PH 1 (t: 4) offs=002a16ec vaddr=022996ec vend=02299710 l4linux | phys=022996ec ephys=02299710 l4linux | f_sz=00000024 memsz=00000024 flgs=r-x l4linux | PH 2 (t: 1685382481) offs=00000000 vaddr=00000000 vend=00000000 l4linux | phys=00000000 ephys=00000000 l4linux | f_sz=00000000 memsz=00000000 flgs=rwx l4linux | Starting binary at 0x20002a0, argc=7 argv=0x80007f8c *argv=0xb1007ff0m l4linux | External resolver is at 0xa8000798 l4linux | ======> L4Linux starting... <======== l4linux | Linux version 3.12.0-l4 (user1@debian) (gcc version 4.7.3 (Sourcery C4 l4linux | Binary name: rom/vmlinuz.arm l4linux | This is an AEABI build. l4linux | Linux kernel command line (6 args): mem=64M console=ttyLv0 l4x_rd=romh l4linux | CPU mapping (l:p)[1]: 0:0 l4linux | Image: 02000000 - 02400000 [4096 KiB]. l4linux | Areas: Text: 02000000 - 022b8000 [2784kB] (a bit longer) l4linux | Data: 022b8000 - 022d9200 [132kB] l4linux | Initdata: 0229a000 - 022b635c [112kB] l4linux | BSS: 022de3b6 - 02362f1c [530kB] l4linux | Device scan: l4linux | Device scan done. l4linux | l4lx_thread_create: Created thread 413 (cpu0) (u:b3000e00, v:b3000c00) l4linux | main thread will be 413 l4linux | l4x_register_pointer_section: addr = 02000000 size = 3551232 l4linux | section-with-init: Virt: 0x2000000 to 0x2362f1b [3467 KiB] l4linux | section-with-init: Phys: 0x8031e000 to 0x80680f1b, [3467 KiB] l4linux | Main thread running, waiting... l4linux | L4x: Memory size: 64MB l4linux | L4x: Setting superpages for main memory l4linux | L4x: Adjusted memory start: 02000000 l4linux | Main memory: Virt: 0x2400000 to 0x63fffff [65536 KiB] l4linux | Main memory: Phys: 0x81900000 to 0x858fffff, [65536 KiB] l4linux | l4x: vmalloc area: 06400000 - 0e400000 l4linux | l4x_register_pointer_section: addr = 02000000 size = 3551232 l4linux | text: Virt: 0x2000000 to 0x2362f1b [3467 KiB] l4linux | text: Phys: 0x8031e000 to 0x80680f1b, [3467 KiB] l4linux | l4x_rd_path: rom/ramdisk-arm.rd l4linux | Loading: rom/ramdisk-arm.rd l4linux | INITRD: Size of RAMdisk is 3072KiB l4linux | RAMdisk from 00002000 to 00302000 [3072KiB] l4linux | 'swp(b)' instruction at 021ec5a0 and faulting. l4linux | Linux built for the wrong ARM version?
The last 2 lines are going to be repeated forever :-)
There's an "enable (deprecated) SWP instruction" option in the Fiasco config. Did you enable this one?
Adam
Adam adam@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@os.inf.tu-dresden.de