On Thu, 2015-06-04 at 14:26 +0000, Stefan Johansson wrote:

Many thanks again!

One last question: Do you know why the bl33 is loaded to 0x3500_0000 ? Is the DRAM 0x0000_0000 - 0x34FF_FFFF not free at boot ?

Don't touch the memory address after 0x3500_0000. The memory address space is reserved for UEFI & OPTEE. [0x05E0_0000 - 0x05EF_FFFF] is reserved for MCU firmware.

The rest memory address space is free.

Regards Haojian