Resolved! OP-TEE 3.17.0 makes board not booting anymore
Hi,I am using an official STM32MP157C-DK2 board.I tested to build OP-TEE 3.17.0 for stm32mp1 however the boot hangs.I am building OP-TEE OS using:make PLATFORM=stm32mp1 \ CROSS_COMPILE_core=arm-linux-gnueabihf- \ CROSS_COMPILE_ta_arm64=arm-linux-gnue...