Genode on i.MX6Q Sabre Lite
Yevgeny Lavrov
ylavrov13 at ...9...
Wed Nov 8 08:40:14 CET 2017
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 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
>
> ------------------------------------------------------------
> ------------------
> 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
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.genode.org/pipermail/users/attachments/20171108/b7dddd6b/attachment.html>
More information about the users
mailing list