I didn’t end up trying EDK2 - between this thread:
And then someone on Discord telling me:
I don’t think the BSP kernel is meant to be booted in UEFI mode at all. It fails in largely the same way when I try to boot it from the EDK2 shell (more complete UEFI implementation).
I decided it wasn’t worth pursuing ![]()
(I want support for Talos Linux, which can produce images for ARM64 with custom kernels assuming they support UEFI. I’m now very deep into a fork because that was the least of the issues
)