I have written an email about to increase the tz_vmm demo's memory size before, but haven't get any answer yet. The thing is, I want to increase the memory size that linux in the normal world can use. During these days, I found the related file which is at
" /genode/repos/base-hw/include/spec/imx53/drivers/trustzone.h " . In this file I found the NONSECURE_MEMORY_SIZE = 256*1024*1024. So I increase this size to 512*1024*1024, however, when the system booting, it print the error message like:
[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 = 0xc0888294 0x80888294
[init -> tz_vmm] r1 = 0x00000000 0x00000000
[init -> tz_vmm] r2 = 0x00000020 0x00000000
[init -> tz_vmm] r3 = 0xd5001000 0x95001000
[init -> tz_vmm] r4 = 0xc0c28000 0x80c28000
[init -> tz_vmm] r5 = 0xd50000c0 0x950000c0
[init -> tz_vmm] r6 = 0xc0888294 0x80888294
[init -> tz_vmm] r7 = 0xd50000a0 0x950000a0
[init -> tz_vmm] r8 = 0xd5000000 0x95000000
[init -> tz_vmm] r9 = 0x00000000 0x00000000
[init -> tz_vmm] r10 = 0x00000000 0x00000000
[init -> tz_vmm] r11 = 0xffffffff 0x00000000
[init -> tz_vmm] r12 = 0x00000001 0x00000000
[init -> tz_vmm] sp = 0x00000000 0x00000000
[init -> tz_vmm] lr = 0x00000000 0x00000000
[init -> tz_vmm] ip = 0xc00cde10 0x800cde10
[init -> tz_vmm] cpsr = 0x60000093 0x00000000
[init -> tz_vmm] sp _und = 0xc08e59d8 0x808e59d8
[init -> tz_vmm] lr _und = 0xc08e59d8 0x808e59d8
[init -> tz_vmm] spsr _und = 0x00000000 0x00000000
[init -> tz_vmm] sp _svc = 0xc0887f30 0x80887f30
[init -> tz_vmm] lr _svc = 0xc00cddf0 0x800cddf0
[init -> tz_vmm] spsr _svc = 0x00000000 0x00000000
[init -> tz_vmm] sp _abt = 0xc08e59cc 0x808e59cc
[init -> tz_vmm] lr _abt = 0xc08e59cc 0x808e59cc
[init -> tz_vmm] spsr _abt = 0x00000000 0x00000000
[init -> tz_vmm] sp _irq = 0xc08e59c0 0x808e59c0
[init -> tz_vmm] lr _irq = 0xc08e59c0 0x808e59c0
[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 = 0x80004019
[init -> tz_vmm] ttbr1 = 0x80004019
[init -> tz_vmm] ttbrc = 0x00000000
[init -> tz_vmm] dfar = 0xc088829c 0x8088829c
[init -> tz_vmm] exception = data_abort