Hello,I am having trouble booting OPTEE on a custom platform with 256MB of DDR3. The boot log is attached. I added some debug printfs and I can see that OPTEE freezes on 454 in core/arch/arm/kernel/boot.c. I believe this is the first time OPTEE start...