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?
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' (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@...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
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