Hacker News Reader

The rpi4 has uefi firmware available, this allows you to boot any generic uefi aarch64 image, you no longer need rpi specific images.

https://github.com/pftf/RPi4

To add, modern u-boot has enough UEFI support that you can get away with using it instead of this full tianocore-based implementation.

It still needs to be an RPi specific image on the card as this firmware lives on the sd card too.

One of the biggest advantages of the UEFI firmware is that you don't have to boot from the SD card. They are really unreliable and also awful for performance. USB3 or even netbooting are much better options.

This might help you: https://github.com/flatcar-linux/Flatcar/issues/502

It requires a tiny bit of messing around but yes, Flatcar runs on RPi. It's part of our docs; here's the howto: https://www.flatcar.org/docs/latest/installing/bare-metal/ra...