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
1. get linux image:
4.Booting by ext2load and bootm command.