Skip to content
- fix EFI boot with OP-TEE for STM32MP15 boards