And it is a generic Embedded Linux boot process (ROM, SPL, Uboot, Kernel).
But, when I read further about STM32MP I figured out that U-bootUEFI commands are enabled, and there is support for PXE network boot which is supported from UEFI environment which is in this case executed from U-boot. Also I found a GPT support on flash memories (eMMC, ..).
I'm asking is there a documentation about UEFI on STM32MP ? Like:
Is it optional ? (Can it be disabled ?)
Is there support for EDK and UEFI application development ?