building_l4re_pandaboard

[Комаров Тимофей]

Dear Adam! Dear Wei!
Thanks for your help! You were absolutely right about this option!
Greetings!


08.02.2014, 01:35, "Adam Lackorzynski" <adam at 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 at 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 at os.inf.tu-dresden.de
>   Lackorzynski         http://os.inf.tu-dresden.de/~adam/
>
> _______________________________________________
> l4-hackers mailing list
> l4-hackers at os.inf.tu-dresden.de
> http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers