Hello,
I am using genode 18.05 and I am trying the TZ_VMM demo on imx53-qsb board. I encountered problem when the system is booting. The error like this:

[init -> tz_vmm] Start virtual machine ...                                                                          
[init -> tz_vmm] Error: failed to handle data abort                             
[init -> tz_vmm] Cpu state:                                                     
[init -> tz_vmm]   Register     Virt       Phys                                 
[init -> tz_vmm] ------------------------------------                           
[init -> tz_vmm]   r0         = 0x07000000 0x00000000                           
[init -> tz_vmm]   r1         = 0xf801ff50 0x00000000                           
[init -> tz_vmm]   r2         = 0xffffffe4 0x00000000                           
[init -> tz_vmm]   r3         = 0x40002000 0x00000000                           
[init -> tz_vmm]   r4         = 0x00000000 0x00000000                           
[init -> tz_vmm]   r5         = 0x00000000 0x00000000                           
[init -> tz_vmm]   r6         = 0x000000ee 0x00000000                           
[init -> tz_vmm]   r7         = 0x00000000 0x00000000                           
[init -> tz_vmm]   r8         = 0x00000000 0x00000000                           
[init -> tz_vmm]   r9         = 0x00000000 0x00000000                           
[init -> tz_vmm]   r10        = 0x00000000 0x00000000                           
[init -> tz_vmm]   r11        = 0x00000000 0x00000000                           
[init -> tz_vmm]   r12        = 0x00000000 0x00000000                           
[init -> tz_vmm]   sp         = 0x00000000 0x00000000                           
[init -> tz_vmm]   lr         = 0x00000000 0x00000000                           
[init -> tz_vmm]   ip         = 0x0040dfe8 0x00000000                           
[init -> tz_vmm]   cpsr       = 0x60000093 0x00000000                           
[init -> tz_vmm]   sp   _und  = 0x00000000 0x00000000                           
[init -> tz_vmm]   lr   _und  = 0x80008008 0x00000000                           
[init -> tz_vmm]   spsr _und  = 0x00000093 0x00000000                           
[init -> tz_vmm]   sp   _svc  = 0xf801ff4c 0x00000000                           
[init -> tz_vmm]   lr   _svc  = 0x0040bc97 0x00000000                           
[init -> tz_vmm]   spsr _svc  = 0x00000000 0x00000000                           
[init -> tz_vmm]   sp   _abt  = 0x00000000 0x00000000                           
[init -> tz_vmm]   lr   _abt  = 0x00000000 0x00000000                           
[init -> tz_vmm]   spsr _abt  = 0x00000000 0x00000000                           
[init -> tz_vmm]   sp   _irq  = 0x00000000 0x00000000                           
[init -> tz_vmm]   lr   _irq  = 0x00000000 0x00000000                           
[init -> tz_vmm]   spsr _irq  = 0x00000000 0x00000000                           
[init -> tz_vmm]   sp   _fiq  = 0x00000000 0x00000000                           
[init -> tz_vmm]   lr   _fiq  = 0x00000000 0x00000000                           
[init -> tz_vmm]   spsr _fiq  = 0x00000000 0x00000000                           
[init -> tz_vmm]   ttbr0      = 0x00000000                                      
[init -> tz_vmm]   ttbr1      = 0x00000000                                      
[init -> tz_vmm]   ttbrc      = 0x00000000                                      
[init -> tz_vmm]   dfar       = 0x07000000 0x00000000                           
[init -> tz_vmm]   exception  = data_abort
 
And my steps are:
1. get linux image:
git clone https://github.com/skalk/linux.git
git checkout imx53-tz
cross_compile and get uImage

2.compile genode:
./tool/create_builddir hw_imx53_qsb_tz
add RUN_OPT = --include boot_dir/hw --include image/uboot
copy uImage to bin/linux
comment out "exec >& /dev/null wget -O bin/linux.md5 $linux_uri.md5"
comment out "exec md5sum -c linux.md5"
make run/tz_vmm and get uImage

3.get u-boot
git clone https://github.com/skalk/u-boot/tree/imx53_loco
cross compile and get u-boot.imx

4.Booting by ext2load and bootm command.

Can anyone help me fix this problem?


------------------
Best wishes