Genode on i.MX6Q Sabre Lite
Stefan Kalkowski
stefan.kalkowski at ...1...
Wed Nov 8 11:29:58 CET 2017
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.stein at ...1... <mailto:martin.stein at ...1...>> 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 at lists.sourceforge.net
> <mailto:genode-main at 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 at lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/genode-main
>
--
Stefan Kalkowski
Genode Labs
https://github.com/skalk · http://genode.org/
More information about the users
mailing list