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@...172...net
https://lists.sourceforge.net/lists/listinfo/genode-main