Is UEFI implementation documented/detailed ?

[bhstalel]

Hello,

I read the STM32MP boot process in this link.

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-boot UEFI 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 ?
• Is UEFI boot process documented ?

Thanks,

Talel