I am trying to boot Fedora IoT aarch64 images on my Raspberry Pi 4B
but failing to do so as I see an error that EFI was unable to load the image. I have tried
using the raw images of the current 32 IoT and 33 Pre-release IoT. Please tell me where I
am going wrong.
As per the IoT reference hardware we don't currently support RPi4 at
all for IoT Edition because the last I tested it the device won't work
with a mainline kernel using the firmware device trees. I will one day
care enough to work out if that's still the case.