Hi,
The PowerPC folks are using u-boot as the firmware. I know Peter disagrees, but I don't understand why so I'll throw this up for discussion too; it is definitely lighter-weight than UEFI. Would that make sense for ARM?
Played around with that. Look here:
https://www.kraxel.org/cgit/jenkins/u-boot/tree/ https://www.kraxel.org/repos/jenkins/u-boot/
[ based on fedora uboot package, some vexpress patches on top ]
Problems I ran into:
* u-boot has no virto support. * sdcard emulation is painfully slow on arm kvm.
Oh, and working with u-boot upstream is *ahem* a challenge. After trying to get a patch upstream (rpm patch #8) I'm not really surprised any more that there are so many u-boot forks around.
Making edk2 fly on arm looks more promising to me. Especially for aarch64 of course, but also for armv7 + -M virt.
cheers, Gerd