Hacker GitHub

← All repos

pftf/RPi4

View on GitHub ↗ ★ 1,410

Raspberry Pi 4 UEFI Firmware Images

18 mentions on Hacker News by 12 people: 1 story, 17 comments · first 2020-05-19 · latest 2025-08-01

Mentions per year 18 mentions · busiest year 2021 (6)
20082026
AllStoriesComments NewestTopOldest
  1. 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…
    comment by MrDOS · 2025-08-01 · in Raspberry Pi 5 Gets a MicroSD Express Hat
  2. Raspberry PI and Nvidia AGX https://github.com/pftf/RPi4
    comment by moondev · 2025-05-16 · in Armbian Updates: OMV support, boot improvents, Rockchip optimizations
  3. …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…
    comment by johnklos · 2023-09-29 · in Testing PCIe on the Raspberry Pi 5
  4. …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
    comment by aseipp · 2023-09-28 · in Raspberry Pi 5
  5. …this allows you to boot any generic uefi aarch64 image, you no longer need rpi specific images. https://github.com/pftf/RPi4
    comment by moondev · 2023-04-09 · in Flatcar Container Linux
  6. …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
    comment by moondev · 2022-11-25 · in Orange Pi 5: 8-core CPU 2.4GHz, up to 32GB DDR4
  7. 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…
    comment by candiddevmike · 2022-05-17 · in My Unholy Battle with a Rock64
  8. 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…
    comment by kaladin-jasnah · 2021-10-23 · in Raspberry Pi 3 Fastboot – Less Than 2 Seconds
  9. I'm using UEFI on my Raspberry Pi 4: https://github.com/pftf/RPi4 Works pretty well.
    comment by rwmj · 2021-09-13 · in Why DOS was (and is) a thing (2020) [video]
  10. …be UEFI booted, so this is definitely a real-world option. Links: - https://github.com/pftf/RPi3 - https://github.com/pftf/RPi4
    comment by josteink · 2021-08-11 · in State of netbooting Raspberry Pi in 2021
  11. …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 *…
    comment by moondev · 2021-08-11 · in State of netbooting Raspberry Pi in 2021
  12. 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
    comment by moondev · 2021-07-30 · in Raspberry Pi OS now has SATA support built-in
  13. …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
    comment by josteink · 2021-03-12 · in M.2 on a Raspberry Pi – The Tofu CM4 Carrier Board
  14. It's not fixed yet. It's the same as this issue: https://github.com/pftf/RPi4/issues/99
    comment by rwmj · 2020-11-02 · in Raspberry Pi 400 Desktop PC
  15. Sounds like they fixed (read: worked-around) that issue in https://github.com/pftf/RPi4/releases/tag/v1.17
    comment by kingosticks · 2020-11-02 · in Raspberry Pi 400 Desktop PC
  16. …(ARM-built) Linux that would boot off of EFI and it will Just Work (tm). I've been using it: https://github.com/pftf/RPi4 https://rpi4-uefi.dev/ Actually what I've been doing is using my wireless router (openwrt) to serve pxe images. So…
    comment by blitmap · 2020-08-03 · in OpenJDK Comes to Windows 10 on ARM
  17. …early as January. https://rpi4-uefi.dev/win10-arm64-on-pi-4b/ is a decent text guide for the pi 4. https://github.com/pftf/RPi4 provides the UEFI implementation. The lack of suitable USB driver for the USB A ports is the main holdup to any…
    comment by zamadatix · 2020-05-29 · in 8GB Raspberry Pi 4 on sale now at $75