Hi Yevgeny,
On 11/08/2017 08:40 AM, Yevgeny Lavrov wrote: > Hi, > > Unfortunately, it never gets to the point where it says "Run script > execution successful", everything breaks once it reaches step 33 of the > init.run script. I've also given a try to Genode/seL4 on Wandboard Quad, > but ended up with the same result. Other scripts (except bomb, part_blk > and resource_request) ran w/o any problems. Fresh, out of the box copy > of Genode 17.08 breaks in the same spot when executed on Wandboard Quad, > so I'm including complete serial output to this e-mail for you to take a > look. > > Another issue with Wandboard Quad that I've encountered is: when > compiling Genode with hw kernel, for some reason, I can't observe any > output over the serial. > > Hit any key to stop autoboot: 0 > => fatload mmc 0 0x30000000 image.elf > reading image.elf > 1897104 bytes read in 109 ms (16.6 MiB/s) > => bootelf 0x30000000 > ## Starting application at 0x10001000 ... > > Nothing after this point. However, when compiled with seL4 kernel > instead of default hw, this problem goes away. Any suggestions on what > might be causing it? Actually, I have no idea why the HW kernel should not work for you. We test it all night, and currently _all_ tests for HW on Wandboard are green. I can confirm the trouble you experience with init.run and bomb.run on top of sel4. I think there exist resource limitations regarding Genode/Sel4 that lead to those problems. The only difference in between your setup, and our nightly test scenario is that we use u-boot's "uImage" format and the "bootm" command instead of the "bootelf" command, because the latter is not enabled in most pre-installed u-boot variants. You can produce a ready to use uImage when adding the following run-tool option to your "etc/build.conf": RUN_OPT += --include image/uboot I should wonder if it makes any difference to boot the uImage instead of the ELF image, but maybe you can give it a try. Regards Stefan > > Serial Output: Fresh copy of Genode 17.08/seL4 on Wandboard Quad > > Hit any key to stop autoboot: > 0 > > > => fatload mmc 0 0x30000000 > image.elf > > > reading > image.elf > > > 2195928 bytes read in 123 ms (17 > MiB/s) > > > => bootelf > 0x30000000 > > > ## Starting application at 0x20000000 > ... > > > > > > ELF-loader started on CPU: ARM Ltd. Cortex-A9 > r2p10 > > > > paddr=[20000000..2020801f] > > > ELF-loading image > 'kernel' > > > > paddr=[10000000..10039fff] > > > > vaddr=[e0000000..e0039fff] > > > > virt_entry=e0000000 > > > ELF-loading image > 'genode.elf' > > > > paddr=[1003a000..10320fff] > > > > vaddr=[2000000..22e6fff] > > > > virt_entry=2000000 > > > Enabling MMU and > paging > > > Jumping to kernel-image entry > point... > > > > > > Bootstrapping > kernel > > > Booting all finished, dropped to user > space > > > <<seL4(CPU 0) [decodeCNodeInvocation/106 T0xffe7cd00 "rootserver" > @202b124]: CNode Copy/Mint/Move/Mutate: Source slot invalid or > empty.>> > Warning: copy: seL4_CNode_Copy (0x7) returned > 6 > > > :phys_mem_16k: Allocator 0x21d2058 > dump: > > > Block: [10000000,10010000) size=64K avail=64K > max_avail=448K > > > Block: [10324000,10394000) size=448K avail=448K > max_avail=448K > > > => mem_size=524288 (0 MB) / mem_avail=524288 (0 > MB) > > > > > > virtual address layout of > core: > > > overall > [00002000,c0000000) > > > core image > [02000000,022e7000) > > > ipc buffer > [022e7000,022e8000) > > > boot_info > [022e8000,022e9000) > > > stack area > [40000000,50000000) > > > Warning: need physical memory, but Platform object not constructed > yet > > > Warning: need physical memory, but Platform object not constructed > yet > > > :phys_alloc: Allocator 0x219f11c > dump: > > > Block: [10321000,10324000) size=12K avail=12K > max_avail=12K > > > Block: [10394000,11000000) size=12720K avail=12720K > max_avail=425980K > > > Block: [12000000,12001000) size=4K avail=0 > max_avail=0 > > > Block: [12001000,2c000000) size=425980K avail=425980K > max_avail=425980K > > > Block: [2d000000,2d001000) size=4K avail=0 > max_avail=425980K > > > Block: [2d001000,2d002000) size=4K avail=0 > max_avail=0 > > > Block: [2d002000,2e000000) size=16376K avail=16376K > max_avail=16376K > > > Block: [2f106000,2f107000) size=4K avail=0 > max_avail=0 > > > Block: [2f107000,2f180000) size=484K avail=484K > max_avail=484K > > > Block: [2f200000,2f201000) size=4K avail=0 > max_avail=425980K > > > Block: [2f201000,2f202000) size=4K avail=0 > max_avail=0 > > > Block: [2f202000,2f203000) size=4K avail=0 > max_avail=0 > > > Block: [2f203000,2f204000) size=4K avail=0 > max_avail=0 > > > Block: [2f204000,2f205000) size=4K avail=0 > max_avail=0 > > > Block: [2f205000,2f206000) size=4K avail=0 > max_avail=0 > > > Block: [2f206000,2f207000) size=4K avail=0 > max_avail=0 > > > Block: [2f207000,2f208000) size=4K avail=0 > max_avail=0 > > > Block: [2f208000,2f209000) size=4K avail=0 > max_avail=0 > > > Block: [2f209000,2f20a000) size=4K avail=0 > max_avail=0 > > > Block: [2f20a000,2f20b000) size=4K avail=0 > max_avail=0 > > > Block: [2f20b000,2f20c000) size=4K avail=0 > max_avail=0 > > > Block: [2f20c000,2f20d000) size=4K avail=0 > max_avail=425980K > > > Block: [2f20d000,2f20e000) size=4K avail=0 > max_avail=0 > > > Block: [2f20e000,2f20f000) size=4K avail=0 > max_avail=0 > > > Block: [2f20f000,2f210000) size=4K avail=0 > max_avail=0 > > > Block: [2f210000,2f211000) size=4K avail=0 > max_avail=0 > > > Block: [2f211000,2f212000) size=4K avail=0 > max_avail=0 > > > Block: [2f212000,2f213000) size=4K avail=0 > max_avail=0 > > > Block: [2f213000,2f214000) size=4K avail=0 > max_avail=0 > > > Block: [2f214000,2f215000) size=4K avail=0 > max_avail=0 > > > Block: [2f215000,2f216000) size=4K avail=0 > max_avail=0 > > > Block: [2f216000,2f217000) size=4K avail=0 > max_avail=0 > > > Block: [2f217000,2f218000) size=4K avail=0 > max_avail=0 > > > Block: [2f218000,2f219000) size=4K avail=0 > max_avail=0 > > > Block: [2f219000,2f21a000) size=4K avail=0 > max_avail=0 > > > Block: [2f21a000,2f21b000) size=4K avail=0 > max_avail=0 > > > Block: [2f21b000,2f21c000) size=4K avail=0 > max_avail=0 > > > Block: [2f21c000,2f21d000) size=4K avail=0 > max_avail=0 > > > Block: [2f21d000,2f21e000) size=4K avail=0 > max_avail=0 > > > Block: [2f21e000,2f21f000) size=4K avail=0 > max_avail=0 > > > Block: [2f21f000,2f220000) size=4K avail=0 > max_avail=0 > > > Block: [2f220000,2f221000) size=4K avail=0 > max_avail=0 > > > Block: [2f221000,2f222000) size=4K avail=0 > max_avail=0 > > > Block: [2f222000,2f223000) size=4K avail=0 > max_avail=0 > > > Block: [2f223000,2f224000) size=4K avail=0 > max_avail=0 > > > Block: [2f224000,2f225000) size=4K avail=0 > max_avail=425980K > > > Block: [2f225000,2f226000) size=4K avail=0 > max_avail=0 > > > Block: [2f226000,2f227000) size=4K avail=0 > max_avail=0 > > > Block: [2f227000,2f228000) size=4K avail=0 > max_avail=0 > > > Block: [2f228000,2f229000) size=4K avail=0 > max_avail=0 > > > Block: [2f229000,2f22a000) size=4K avail=0 > max_avail=0 > > > Block: [2f22a000,2f22b000) size=4K avail=0 > max_avail=0 > > > Block: [2f22b000,2f22c000) size=4K avail=0 > max_avail=0 > > > Block: [2f22c000,2f22d000) size=4K avail=0 > max_avail=0 > > > Block: [2f22d000,2f22e000) size=4K avail=0 > max_avail=0 > > > Block: [2f22e000,2f22f000) size=4K avail=0 > max_avail=0 > > > Block: [2f22f000,2f230000) size=4K avail=0 > max_avail=0 > > > Block: [2f230000,2f231000) size=4K avail=0 > max_avail=0 > > > Block: [2f231000,2f232000) size=4K avail=0 > max_avail=0 > > > Block: [2f232000,2f233000) size=4K avail=0 > max_avail=0 > > > Block: [2f233000,2f234000) size=4K avail=0 > max_avail=0 > > > Block: [2f234000,2f235000) size=4K avail=0 > max_avail=0 > > > Block: [2f235000,2f236000) size=4K avail=0 > max_avail=0 > > > Block: [2f236000,2f237000) size=4K avail=0 > max_avail=0 > > > Block: [2f237000,2f238000) size=4K avail=0 > max_avail=0 > > > Block: [2f238000,2f239000) size=4K avail=0 > max_avail=0 > > > Block: [2f239000,2f23a000) size=4K avail=0 > max_avail=0 > > > Block: [2f23a000,2f23b000) size=4K avail=0 > max_avail=0 > > > Block: [2f23b000,2f23c000) size=4K avail=0 > max_avail=0 > > > Block: [2f23c000,2f23d000) size=4K avail=0 > max_avail=0 > > > Block: [2f23d000,2f23e000) size=4K avail=0 > max_avail=0 > > > Block: [2f23e000,2f23f000) size=4K avail=0 > max_avail=0 > > > Block: [2f23f000,2f240000) size=4K avail=0 > max_avail=0 > > > Block: [2f240000,2f241000) size=4K avail=0 > max_avail=0 > > > Block: [2f241000,2f242000) size=4K avail=0 > max_avail=0 > > > Block: [2f242000,2f243000) size=4K avail=0 > max_avail=0 > > > Block: [2f243000,2f244000) size=4K avail=0 > max_avail=0 > > > Block: [2f244000,2f245000) size=4K avail=0 > max_avail=0 > > > Block: [2f245000,2f246000) size=4K avail=0 > max_avail=0 > > > Block: [2f246000,2f247000) size=4K avail=0 > max_avail=0 > > > Block: [2f247000,2f248000) size=4K avail=0 > max_avail=0 > > > Block: [2f248000,2f249000) size=4K avail=0 > max_avail=0 > > > Block: [2f249000,2f24a000) size=4K avail=0 > max_avail=0 > > > Block: [2f24a000,2f24b000) size=4K avail=0 > max_avail=0 > > > Block: [2f24b000,2f24c000) size=4K avail=0 > max_avail=0 > > > Block: [2f24c000,2f24d000) size=4K avail=0 > max_avail=0 > > > Block: [2f24d000,2f24e000) size=4K avail=0 > max_avail=0 > > > Block: [2f24e000,2f24f000) size=4K avail=0 > max_avail=0 > > > Block: [2f24f000,2f250000) size=4K avail=0 > max_avail=0 > > > Block: [2f250000,2f251000) size=4K avail=0 > max_avail=0 > > > Block: [2f251000,2f252000) size=4K avail=0 > max_avail=0 > > > Block: [2f252000,2f253000) size=4K avail=0 > max_avail=0 > > > Block: [2f253000,2f254000) size=4K avail=0 > max_avail=0 > > > Block: [2f254000,2f255000) size=4K avail=0 > max_avail=12152K > > > Block: [2f255000,2f256000) size=4K avail=0 > max_avail=0 > > > Block: [2f256000,2f257000) size=4K avail=0 > max_avail=0 > > > Block: [2f257000,2f258000) size=4K avail=0 > max_avail=0 > > > Block: [2f258000,2f259000) size=4K avail=0 > max_avail=0 > > > Block: [2f259000,2f25a000) size=4K avail=0 > max_avail=0 > > > Block: [2f25a000,2f25b000) size=4K avail=0 > max_avail=0 > > > Block: [2f25b000,2f25c000) size=4K avail=0 > max_avail=0 > > > Block: [2f25c000,2f25d000) size=4K avail=0 > max_avail=0 > > > Block: [2f25d000,2f25e000) size=4K avail=0 > max_avail=0 > > > Block: [2f25e000,2f25f000) size=4K avail=0 > max_avail=0 > > > Block: [2f25f000,2f260000) size=4K avail=0 > max_avail=0 > > > Block: [2f260000,2f261000) size=4K avail=0 > max_avail=0 > > > Block: [2f261000,2f262000) size=4K avail=0 > max_avail=0 > > > Block: [2f262000,2f263000) size=4K avail=0 > max_avail=0 > > > Block: [2f263000,2f264000) size=4K avail=0 > max_avail=0 > > > Block: [2f264000,2f265000) size=4K avail=0 > max_avail=0 > > > Block: [2f265000,2f266000) size=4K avail=0 > max_avail=0 > > > Block: [2f266000,2f267000) size=4K avail=0 > max_avail=0 > > > Block: [2f267000,2f268000) size=4K avail=0 > max_avail=0 > > > Block: [2f268000,2f269000) size=4K avail=0 > max_avail=0 > > > Block: [2f269000,2f26a000) size=4K avail=0 > max_avail=0 > > > Block: [2f26a000,2f26b000) size=4K avail=0 > max_avail=0 > > > Block: [2f26b000,2f26c000) size=4K avail=0 > max_avail=0 > > > Block: [2f26c000,2f26d000) size=4K avail=0 > max_avail=12152K > > > Block: [2f26d000,2f26e000) size=4K avail=0 > max_avail=0 > > > Block: [2f26e000,2f26f000) size=4K avail=0 > max_avail=0 > > > Block: [2f26f000,2f270000) size=4K avail=0 > max_avail=0 > > > Block: [2f270000,2f271000) size=4K avail=0 > max_avail=0 > > > Block: [2f271000,2f272000) size=4K avail=0 > max_avail=0 > > > Block: [2f272000,2f273000) size=4K avail=0 > max_avail=0 > > > Block: [2f273000,2f274000) size=4K avail=0 > max_avail=0 > > > Block: [2f274000,2f275000) size=4K avail=0 > max_avail=0 > > > Block: [2f275000,2f276000) size=4K avail=0 > max_avail=0 > > > Block: [2f276000,2f277000) size=4K avail=0 > max_avail=0 > > > Block: [2f277000,2f278000) size=4K avail=0 > max_avail=0 > > > Block: [2f278000,2f279000) size=4K avail=0 > max_avail=12152K > > > Block: [2f279000,2f27a000) size=4K avail=0 > max_avail=0 > > > Block: [2f27a000,2f27b000) size=4K avail=0 > max_avail=0 > > > Block: [2f27b000,2f27c000) size=4K avail=0 > max_avail=0 > > > Block: [2f27c000,2f27d000) size=4K avail=0 > max_avail=0 > > > Block: [2f27d000,2f27e000) size=4K avail=0 > max_avail=0 > > > Block: [2f27e000,2f27f000) size=4K avail=0 > max_avail=12152K > > > Block: [2f27f000,2f280000) size=4K avail=0 > max_avail=0 > > > Block: [2f280000,2f281000) size=4K avail=0 > max_avail=12152K > > > Block: [2f281000,2f282000) size=4K avail=0 > max_avail=0 > > > Block: [2f282000,2fe60000) size=12152K avail=12152K > max_avail=12152K > > > Block: [2fe70000,2fe7c000) size=48K avail=48K > max_avail=48K > > > => mem_size=479547392 (457 MB) / mem_avail=478998528 (456 > MB) > > > > > > :unused_phys_alloc:Allocator 0x21a45dc > dump: > > > Block: [00104000,00110000) size=48K avail=48K > max_avail=48K > > > Block: [00118000,00120000) size=32K avail=32K > max_avail=48K > > > Block: [00129000,00130000) size=28K avail=28K > max_avail=784K > > > Block: [0013c000,00200000) size=784K avail=784K > max_avail=784K > > > Block: [00400000,00800000) size=4M avail=4M > max_avail=4M > > > Block: [00a00000,00b00000) size=1M avail=1M > max_avail=1M > > > Block: [00d00000,01000000) size=3M avail=3M > max_avail=3M > > > Block: [01f00000,01ffc000) size=1008K avail=1008K > max_avail=1008K > > > Block: [02000000,02004000) size=16K avail=16K > max_avail=4M > > > Block: [0201c000,02020000) size=16K avail=16K > max_avail=16K > > > Block: [02038000,0203c000) size=16K avail=16K > max_avail=16K > > > Block: [020cb000,020cc000) size=4K avail=4K > max_avail=4K > > > Block: [020dd000,020e0000) size=12K avail=12K > max_avail=192K > > > Block: [020f0000,02100000) size=64K avail=64K > max_avail=64K > > > Block: [02110000,02140000) size=192K avail=192K > max_avail=192K > > > Block: [02145000,0214f000) size=40K avail=40K > max_avail=40K > > > Block: [02161000,0217c000) size=108K avail=108K > max_avail=3409424K > > > Block: [02180000,02184000) size=16K avail=16K > max_avail=16K > > > Block: [021c4000,021d0000) size=48K avail=48K > max_avail=48K > > > Block: [021f8000,02200000) size=32K avail=32K > max_avail=32K > > > Block: [0220c000,02400000) size=2000K avail=2000K > max_avail=212M > > > Block: [02c00000,10000000) size=212M avail=212M > max_avail=212M > > > Block: [10010000,10321000) size=3140K avail=3140K > max_avail=212M > > > Block: [11000000,12000000) size=16M avail=16M > max_avail=16M > > > Block: [2c000000,2d000000) size=16M avail=16M > max_avail=3409424K > > > Block: [2e000000,2f106000) size=17432K avail=17432K > max_avail=17432K > > > Block: [2f180000,2f200000) size=512K avail=512K > max_avail=3409424K > > > Block: [2fe60000,2fe70000) size=64K avail=64K > max_avail=3409424K > > > Block: [2fe7c000,ffffffff] size=3409424K avail=3409424K > max_avail=3409424K > > > => mem_size=3781718016 (3606 MB) / mem_avail=3781718016 (3606 > MB) > > > > > > :unused_virt_alloc:Allocator 0x21a5648 > dump: > > > Block: [00002000,02000000) size=32760K avail=32760K > max_avail=32760K > > > Block: [022e9000,042e9000) size=32M avail=0 > max_avail=0 > > > Block: [042e9000,40000000) size=980060K avail=980060K > max_avail=1792M > > > Block: [50000000,c0000000) size=1792M avail=1792M > max_avail=1792M > > > => mem_size=2949730304 (2813 MB) / mem_avail=2916175872 (2781 > MB) > > > > > > :virt_alloc: Allocator 0x21a0188 > dump: > > > Block: [021d8000,021d9000) size=4K avail=0 > max_avail=0 > > > Block: [021d9000,021da000) size=4K avail=0 > max_avail=0 > > > Block: [021da000,022e7000) size=1076K avail=1076K > max_avail=32M > > > Block: [022e9000,042e9000) size=32M avail=32M > max_avail=32M > > > => mem_size=34664448 (33 MB) / mem_avail=34656256 (33 > MB) > > > > > > :io_mem_alloc: Allocator 0x21a1200 > dump: > > > Block: [00100000,00104000) size=16K avail=16K > max_avail=16K > > > Block: [00110000,00118000) size=32K avail=32K > max_avail=32K > > > Block: [00120000,00129000) size=36K avail=36K > max_avail=2M > > > Block: [00130000,0013c000) size=48K avail=48K > max_avail=48K > > > Block: [00200000,00400000) size=2M avail=2M > max_avail=2M > > > Block: [00800000,00a00000) size=2M avail=2M > max_avail=2M > > > Block: [00b00000,00d00000) size=2M avail=2M > max_avail=15M > > > Block: [01000000,01f00000) size=15M avail=15M > max_avail=15M > > > Block: [01ffc000,02000000) size=16K avail=16K > max_avail=15M > > > Block: [02004000,0201c000) size=96K avail=96K > max_avail=96K > > > Block: [02020000,02038000) size=96K avail=96K > max_avail=15M > > > Block: [0203c000,020cb000) size=572K avail=572K > max_avail=572K > > > Block: [020cc000,020dd000) size=68K avail=68K > max_avail=572K > > > Block: [020e0000,020f0000) size=64K avail=64K > max_avail=64K > > > Block: [02100000,02110000) size=64K avail=64K > max_avail=15M > > > Block: [02140000,02145000) size=20K avail=20K > max_avail=20K > > > Block: [0214f000,02161000) size=72K avail=72K > max_avail=72K > > > Block: [0217c000,02180000) size=16K avail=16K > max_avail=16K > > > Block: [02184000,021c4000) size=256K avail=256K > max_avail=8M > > > Block: [021d0000,021f8000) size=160K avail=160K > max_avail=160K > > > Block: [02200000,0220c000) size=48K avail=48K > max_avail=8M > > > Block: [02400000,02c00000) size=8M avail=8M > max_avail=8M > > > => mem_size=32129024 (30 MB) / mem_avail=32129024 (30 > MB) > > > > > > boot module 'ld.lib.so <http://ld.lib.so>' (562908 > bytes) > > > boot module 'dummy' (77416 > bytes) > > > boot module 'report_rom' (73960 > bytes) > > > boot module 'timer' (68436 > bytes) > > > boot module 'init' (201760 > bytes) > > > boot module 'config' (33724 > bytes) > > > boot module 'test-init' (76840 > bytes) > > > Warning: need physical memory, but Platform object not constructed > yet > > > Genode > 17.08-177-g30948a4 > > > 456 MiB RAM and 31767 caps assigned to > init > > > Warning: void Genode::Rpc_cap_factory::free(Genode::Native_capability) > not implemented - resources leaked: 0x1 > Warning: void Genode::Rpc_cap_factory::free(Genode::Native_capability) > not implemented - resources leaked: 0x2 > Warning: void Genode::Rpc_cap_factory::free(Genode::Native_capability) > not implemented - resources leaked: 0x4 > [init] child "report_rom" announces service > "Report" > > > [init] child "report_rom" announces service > "ROM" > > > Warning: void Genode::Rpc_cap_factory::free(Genode::Native_capability) > not implemented - resources leaked: 0x8 > [init] child "timer" announces service > "Timer" > > > [init -> test-init] step 0 > (sleep) > > > [init] child "test-init" announces service > "LOG" > > > Warning: void Genode::Rpc_cap_factory::free(Genode::Native_capability) > not implemented - resources leaked: 0x10 > [init -> test-init] step 0 > (sleep) > > > [init -> test-init] step 1 > (message) > > > [init -> > test-init] > > > [init -> test-init] --- test state reporting > --- > > > [init -> test-init] step 2 > (init_config) > > > [init -> test-init] step 3 > (expect_log) > > > [init -> test-init] [init] Error: RAM preservation exceeds available > memory > (ignored) > [init -> test-init] [init] Warning: application: assigned RAM exceeds > available RAM > (ignored) > [init -> test-init] step 3 > (expect_log) > > > [init -> test-init] step 4 > (sleep) > > > [init -> test-init] [init -> application] started > (expected) > > > [init -> test-init] step 4 > (sleep) > > > [init -> test-init] step 5 > (expect_init_state) > > > [init -> test-init] step 6 > (message) > > > [init -> > test-init] > > > [init -> test-init] --- routing to custom log service > --- > > > [init -> test-init] step 7 > (init_config) > > > Warning: void Genode::Rpc_cap_factory::free(Genode::Native_capability) > not implemented - resources leaked: 0x20 > [init -> test-init] step 8 > (expect_log) > > > Warning: unmapping of managed dataspaces not yet > supported > > > Warning: unmapping of managed dataspaces not yet > supported > > > Error: attempt to replenish more quota than > withdrawn > > > Error: attempt to replenish more quota than > withdrawn > > > Error: attempt to replenish more quota than > withdrawn > > > Error: attempt to replenish more quota than > withdrawn > > > Warning: void Genode::Rpc_cap_factory::free(Genode::Native_capability) > not implemented - resources leaked: 0x40 > [init -> test-init] step 8 > (expect_log) > > > [init -> test-init] [init] child "server" announces service "LOG" > (ignored) > > > [init -> test-init] [init -> server] created LOG service > (ignored) > > > [init -> test-init] step 8 > (expect_log) > > > [init -> test-init] [init] child "indirect_server" announces service > "LOG" > (ignored) > [init -> test-init] [init -> server] [indirect_server] created LOG > service > (ignored) > [init -> test-init] step 8 > (expect_log) > > > [init -> test-init] step 9 > (sleep) > > > [init -> test-init] [init -> server] [indirect_server] [client] client > started (expected) > [init -> test-init] step 9 > (sleep) > > > [init -> test-init] [init -> server] [indirect_server] [client] going to > create 1 LOG connections (ignored) > [init -> test-init] [init -> server] [indirect_server] [client] created > all LOG connections (ignored) > [init -> test-init] step 9 > (sleep) > > > [init -> test-init] step 10 > (expect_init_state) > > > [init -> test-init] step 11 > (sleep) > > > [init -> test-init] step 12 > (message) > > > [init -> > test-init] > > > [init -> test-init] --- changing route of indirect server > --- > > > [init -> test-init] step 13 > (init_config) > > > [init -> test-init] step 14 > (expect_log) > > > [init -> test-init] [init] Warning: client: lookup for service "LOG" > failed > (ignored) > [init -> test-init] [init] Warning: client: lookup for service "LOG" > failed > (ignored) > Warning: unmapping of managed dataspaces not yet > supported > > > Warning: unmapping of managed dataspaces not yet > supported > > > Error: attempt to replenish more quota than > withdrawn > > > Error: attempt to replenish more quota than > withdrawn > > > Error: attempt to replenish more quota than > withdrawn > > > Error: attempt to replenish more quota than > withdrawn > > > Warning: void Genode::Rpc_cap_factory::free(Genode::Native_capability) > not implemented - resources leaked: 0x80 > Warning: unmapping of managed dataspaces not yet > supported > > > Warning: unmapping of managed dataspaces not yet > supported > > > Error: attempt to replenish more quota than > withdrawn > > > Error: attempt to replenish more quota than > withdrawn > > > Error: attempt to replenish more quota than > withdrawn > > > Error: attempt to replenish more quota than > withdrawn > > > [init -> test-init] [init] child "indirect_server" announces service > "LOG" > (ignored) > [init -> test-init] step 14 > (expect_log) > > > [init -> test-init] [init -> indirect_server] created LOG service > (ignored) > > > [init -> test-init] step 14 > (expect_log) > > > [init -> test-init] step 15 > (sleep) > > > [init -> test-init] [init -> indirect_server] [client] client started > (expected) > > [init -> test-init] step 15 > (sleep) > > > [init -> test-init] [init -> indirect_server] [client] going to create 1 > LOG connections (ignored) > [init -> test-init] [init -> indirect_server] [client] created all LOG > connections (ignored) > [init -> test-init] step 16 > (expect_init_state) > > > [init -> test-init] step 17 > (sleep) > > > [init -> test-init] step 17 > (sleep) > > > [init -> test-init] step 18 > (init_config) > > > Warning: unmapping of managed dataspaces not yet > supported > > > Warning: unmapping of managed dataspaces not yet > supported > > > Error: attempt to replenish more quota than > withdrawn > > > Error: attempt to replenish more quota than > withdrawn > > > Error: attempt to replenish more quota than > withdrawn > > > Error: attempt to replenish more quota than > withdrawn > > > [init -> test-init] step 19 > (sleep) > > > [init -> test-init] step 19 > (sleep) > > > [init -> test-init] step 20 > (expect_init_state) > > > [init -> test-init] step 21 > (message) > > > [init -> > test-init] > > > [init -> test-init] --- test changing provided services > --- > > > [init -> test-init] step 22 > (init_config) > > > [init -> test-init] step 23 > (sleep) > > > Warning: unmapping of managed dataspaces not yet > supported > > > Warning: unmapping of managed dataspaces not yet > supported > > > Error: attempt to replenish more quota than > withdrawn > > > Error: attempt to replenish more quota than > withdrawn > > > Error: attempt to replenish more quota than > withdrawn > > > Error: attempt to replenish more quota than > withdrawn > > > Warning: void Genode::Rpc_cap_factory::free(Genode::Native_capability) > not implemented - resources leaked: 0x100 > Warning: unmapping of managed dataspaces not yet > supported > > > Warning: unmapping of managed dataspaces not yet > supported > > > Error: attempt to replenish more quota than > withdrawn > > > Error: attempt to replenish more quota than > withdrawn > > > Error: attempt to replenish more quota than > withdrawn > > > Error: attempt to replenish more quota than > withdrawn > > > [init -> test-init] [init] Warning: dummy: lookup for service "LOG" > failed > (ignored) > [init -> test-init] [init] Error: dummy: LOG environment session denied > (ignored) > [init -> test-init] step 23 > (sleep) > > > [init -> test-init] step 23 > (sleep) > > > [init -> test-init] step 24 > (expect_init_state) > > > [init -> test-init] step 25 > (init_config) > > > [init -> test-init] step 26 > (expect_log) > > > [init -> test-init] step 27 > (expect_log) > > > [init -> test-init] [init -> log] config 2: providing service > (expected) > > > [init -> test-init] [init] child "log" announces service "LOG" > (ignored) > > > [init -> test-init] [init -> log] created LOG service > (ignored) > > > [init -> test-init] step 28 > (init_config) > > > [init -> test-init] step 29 > (sleep) > > > [init -> test-init] [init -> log] [dummy] started > (expected) > > > [init -> test-init] [init] Warning: dummy: lookup for service "LOG" > failed > (ignored) > Warning: unmapping of managed dataspaces not yet > supported > > > Warning: unmapping of managed dataspaces not yet > supported > > > Error: attempt to replenish more quota than > withdrawn > > > Error: attempt to replenish more quota than > withdrawn > > > Error: attempt to replenish more quota than > withdrawn > > > Error: attempt to replenish more quota than > withdrawn > > > [init -> test-init] [init] Warning: dummy: lookup for service "LOG" > failed > (ignored) > [init -> test-init] [init] Error: dummy: LOG environment session denied > (ignored) > [init -> test-init] step 30 > (expect_init_state) > > > [init -> test-init] step 31 > (message) > > > [init -> > test-init] > > > [init -> test-init] --- update child config > --- > > > [init -> test-init] step 32 > (init_config) > > > [init -> test-init] step 33 > (expect_log) > > > [init -> test-init] [init -> log] config 3: became unavailable > (ignored) > > > no RM attachment (READ pf_addr=0x5f868 pf_ip=0x5f868 from pager_object: > pd='init -> init -> log' thread='ep') > > On x86_64, run/init occasionally fails with the same "no RM attachment" > error, but unlike on Sabre Lite or Wandboard, this error does not occur > every time, but if it does, it usually occurs in different places. On my > yesterday run, 3 out of 10 trials resulted in "no RM attachment" error. > > > > On Thu, Oct 19, 2017 at 9:20 AM, Martin Stein > <martin.st...@genode-labs.com <mailto:martin.st...@genode-labs.com>> wrote: > > Hi Yevgeni, Stefan, > > Am 19.10.2017 um 13:05 schrieb Stefan Kalkowski: > >> And, is it possible to reproduce the USB Armory's "run/tz_vmm" scenario > >> on i.MX6 platform? > > > > This cannot be done out of the box. The most easy part would be to add > > support to the hw kernel to execute i.MX6 in the secure world, provide > > the TrustZone specific VM interface to the user-land, and to partition > > the memory into secure and normal one. The next probably more > > time-consuming step is the para-virtualization of the i.MX6 specific > > Linux Kernel that is run as "guest" in the tz_vmm.run scenario. > > Let me add that the USB-Armory branch on my Linux fork [1] might > serve as > template for para-virtualization. The youngest commit adds a > para-virtualized > block driver and serial driver to a 4.2.3 Linux. > > Cheers, > Martin > > [1] branch > https://github.com/m-stein/linux/commits/genode_hw_usb_armory_tz_vmm > <https://github.com/m-stein/linux/commits/genode_hw_usb_armory_tz_vmm> > > > ------------------------------------------------------------------------------ > Check out the vibrant tech community on one of the world's most > engaging tech sites, Slashdot.org! http://sdm.link/slashdot > _______________________________________________ > genode-main mailing list > genode-main@lists.sourceforge.net > <mailto:genode-main@lists.sourceforge.net> > https://lists.sourceforge.net/lists/listinfo/genode-main > <https://lists.sourceforge.net/lists/listinfo/genode-main> > > > > > ------------------------------------------------------------------------------ > Check out the vibrant tech community on one of the world's most > engaging tech sites, Slashdot.org! http://sdm.link/slashdot > > > > _______________________________________________ > genode-main mailing list > genode-main@lists.sourceforge.net > https://lists.sourceforge.net/lists/listinfo/genode-main > -- Stefan Kalkowski Genode Labs https://github.com/skalk · http://genode.org/ ------------------------------------------------------------------------------ Check out the vibrant tech community on one of the world's most engaging tech sites, Slashdot.org! http://sdm.link/slashdot _______________________________________________ genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
