> What this means is that HoneyComb running our tianocore edk2 based firmware will boot and run on most Aarch64 operating systems out of the box.
eDonkey 2000 based firmware?
Heh. Embedded Development Kit II (EDK2) is a "modern, feature-rich, cross-platform firmware development environment for the UEFI and PI specifications". https://github.com/tianocore/edk2