[matthews2]

It uses U-Boot, but you can use U-Boot to launch an EFI executable.

https://docs.u-boot.org/en/latest/board/thead/lpi4a.html https://docs.u-boot.org/en/latest/usage/cmd/bootefi.html