Raspberry Pi 4 UEFI Firmware Images
The boot firmware ecosystem on ARM has been fragmented for a long time, you’re right. Fortunately, it’s being worked on! There’s even a project that provides UEFI booting on the Raspberry Pi 4 and compatibles.
Build time-series-based applications quickly and at scale.. InfluxDB is the Time Series Data Platform where developers build real-time applications for analytics, IoT and cloud-native services in less time with less code.
[Aarch64] Help creating a generic image that boots on the Raspberry Pi 4
4 projects | reddit.com/r/debian | 28 Oct 2022
I have come to bury the BIOS, not to open it: The need for holistic systems
4 projects | news.ycombinator.com | 9 Oct 2022
openbsd on raspberry pi 3, hdmi, no output on boot
2 projects | reddit.com/r/openbsd | 17 Sep 2022
OpenBSD 7.1 on Raspberry PI 4B 8GB
2 projects | reddit.com/r/openbsd | 12 Sep 2022
void on rpi4 8gb mem possible now?
2 projects | reddit.com/r/voidlinux | 2 Sep 2022