Is OP-TEE supposed to work with Linux v5.10-stm32mp-r2.1?
I'm using latest ST official U-Boot release v2021.10-stm32mp-r1 and I'm trying to get OP-TEE working with ST's official Linux release v5.10-stm32mp-r2.1 and it's stuck after U-Boot:Starting kernel ... I/TC: Secondary CI/TC: Secondary CPU 1 switchin...