RPi4

Yes; it means you can, for example, install an off-the-shelf copy of Debian. See https://github.com/pftf/RPi4. In theory, it's a wonderful idea, because it means you can run the same distro on your RPis as on the rest of your fleet (architecture differences notwithstanding), and therefore have consistent patching requirements, etc. In practice, as frustrating as it is that the RPi kernel patches haven't been upstreamed, they exist for a reason and I think by not having them, you're shooting yourself in the foot (even if you only hit a toe or two). Two things I observed recently when directly comparing stock Debian aarch64 with Raspberry Pi OS on an RPi4 was a 40%+ reduction in SD card read performance, and nonfunctional power control of the USB ports. Fwiw I still have a “poor man's NAS” RPi4 running Debian, and it works great. (The SD ca

Raspberry PI and Nvidia AGX https://github.com/pftf/RPi4

Not official as in it doesn't come from the Raspberry Pi people, but official as in it's what everyone who wants UEFI uses. https://github.com/pftf/RPi4 Sending Pi 5s to people who're going to review them before the release makes sense, but of course it'd have been nice if they sent them to people who contribute important pieces of the ecosystem, too.

The RPi4 has had a functional port of TianoCore for a while now, which is likely what they were referring to. You can use e.g. generic aarch64 UEFI Fedora images out of the box with it. https://github.com/pftf/RPi4

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

I'm guessing these are not SystemReady certified with UEFI firmware and require "bespoke" preinstalled arm images? https://www.arm.com/architecture/system-architectures/system... https://developer.arm.com/documentation/102677/0100/UEFI-req... I have three SystemReady arm devices and it's pretty awesome to be able to just boot an aarch64 live ISO and install. The experience is the same for running vms via ESXi arm edition. Nvidia Jetson AGX Xavier - https://developer.nvidia.com/embedded/downloads#?search=uefi Honeycomb LX2 - https://github.com/SolidRun/lx2160a_uefi RPI4 - https://github.com/pftf/RPi4 It can be tedious building/provisioning the firmware but once complete they are ready for any aarch64 uefi iso. What is annoying however is when distros don't ship an aarch64 uefi iso - but instead choose to build a zillion device specific "pr

Had the same battle with Rock64 and a Pinebook Pro. RPI has UEFI support (https://github.com/pftf/RPi4) that makes the entire bootloader process so, so much simpler. I wish Pine would provide something similar for every chipset they produce. U-boot is too hard to understand/script, give me a standard UEFI interface that I can use with native linux tools like efibootmgr and systemd-boot.

https://github.com/pftf/RPi4 for Pi4 users. Incidentally, I have used this for for the ESXi Fling for the Pi when benchmarking it against KVM performance (for those curious, KVM far outperformed ESXi), but I heard that it doesn't work as well for Linux distros (some hardware was broken last I heard [a few months ago]). But yeah, I agree that getting UEFI support and standardising the ARM boot procedure is very useful for all of us.

I'm using UEFI on my Raspberry Pi 4: https://github.com/pftf/RPi4 Works pretty well.

Odd to see using UEFI to NetBoot not considered an option at all. It should eliminate whatever timing-bugs you have and leave you in a more reliable (and scriptable!) pre-boot environment. What more do you need?!? Both the RPi3 and 4 can be UEFI booted, so this is definitely a real-world option. Links: - https://github.com/pftf/RPi3 - https://github.com/pftf/RPi4

There is no reason at all to boot a raspberry pi 4 from an sdcard in 2021. It's the wrong tool for the job and the worst option you can choose. https://github.com/pftf/RPi4 enables several alternatives, all faster and more reliable * usb3 -> sata * usb3 -> nvme * iscsi * ipxe * netboot.xyz via pxe or usb * usb thumbdrive

https://github.com/pftf/RPi4 allows you to store the UEFI firmware on the sd card. This enables you to not only boot from USB, but also PXE and even ISCSI

> Apparently this week NVMe SSD Boot was just added as a beta feature in the Pi firmware, though it requires a bit of a process to use it Anyone know if you can boot from NVMe on the Pi if you first bootstrap it through an UEFI shim [1]? [1] https://github.com/pftf/RPi4

It's not fixed yet. It's the same as this issue: https://github.com/pftf/RPi4/issues/99

Sounds like they fixed (read: worked-around) that issue in https://github.com/pftf/RPi4/releases/tag/v1.17