Skip to content
- fix boot with OP-TEE for stm32mp15 boards