ODYSSEY STM32MP157C ARM Trusted Firmware support?

Are you on commit 75090fd1ae6723b0b2c10b5973108cfcd260bc54 ? You’re using dk2 as the device tree but I’ve only edited dk1 maybe that’s the issue?