HackerReposA FIELD GUIDE TO OPEN SOURCE
ProSponsor the shelf♧ 0
← Back to top all-time
pftf
RPi4
Creative & Media2020–2025
pftf / RPi4

RPi4

Raspberry Pi 4 UEFI Firmware Images

12Distinct people
18Mentions
0Explicit recommenders
1.4KGitHub stars
REPOSITORY AT A GLANCE

What to know before exploring

What it is

Raspberry Pi 4 UEFI Firmware Images

GitHub

Where it is used

No documented product use was verified in the last source check.

What people are saying

No recommendation phrase was found in the indexed comments.

No classified warning is attached to this page. Read the discussions before treating silence as approval.

Also in these discussions

No other repository is repeatedly linked in the same discussions.

This week on Hacker News

Nov 8–Nov 15 UTC · Direct repository links and separately labeled related project stories. Indexed through 11/15/2026, 10:49:33 PM UTC.

No direct repository links were found in the indexed HN discussions over the past seven days. Older discussions are available below.

Mentions over time

HN mentions by year18 dated mentions

Observed mentions: 2020-05-19 16:46:18 UTC to 2025-08-01 10:03:26 UTC.

02462020-01-01 00:00:00 UTC to 2021-01-01 00:00:00 UTC (exclusive): 5 mentions; 1 submissions, 4 comments20202021-01-01 00:00:00 UTC to 2022-01-01 00:00:00 UTC (exclusive): 6 mentions; 0 submissions, 6 comments2022-01-01 00:00:00 UTC to 2023-01-01 00:00:00 UTC (exclusive): 2 mentions; 0 submissions, 2 comments20222023-01-01 00:00:00 UTC to 2024-01-01 00:00:00 UTC (exclusive): 3 mentions; 0 submissions, 3 comments2024-01-01 00:00:00 UTC to 2025-01-01 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2025-01-01 00:00:00 UTC to 2026-01-01 00:00:00 UTC (exclusive): 2 mentions; 0 submissions, 2 comments2025

Counts come from the repository’s dated source evidence. Index cutoff: 2026-11-02 08:16:59 UTC.

View mention counts and date ranges
UTC ranges include their start and exclude their end. Select a period to filter the source evidence.
PeriodStart (UTC)End (exclusive, UTC)MentionsSubmissionsComments
20202020-01-01 00:00:00 UTC2021-01-01 00:00:00 UTC514
20212021-01-01 00:00:00 UTC2022-01-01 00:00:00 UTC606
20222022-01-01 00:00:00 UTC2023-01-01 00:00:00 UTC202
20232023-01-01 00:00:00 UTC2024-01-01 00:00:00 UTC303
20242024-01-01 00:00:00 UTC2025-01-01 00:00:00 UTC000
20252025-01-01 00:00:00 UTC2026-01-01 00:00:00 UTC202

What Hacker News says

2 sources
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
Read the rest
einstalled" arm images. (looking at you manjaro) The list of supported devices for ESXi arm edition is a great place to start for identifying options and is constantly updated. https://flings.vmware.com/esxi-arm-edition Raspberry-Pi-4 Ampere-eMAG-8180 SolidRun-HoneyComb-LX2K NXP-LS1046A-FRWY NXP-LS1046A-RDB Arm-Neoverse-N1-System Ampere-Altra-based-Serv NVIDIA-Xavier-AGX-Devel NVIDIA-Xavier-NX-Devel Ampere-Altra-from-OCI Marvell-Armada-A8040-Octeon-TX2 Socionext-SynQuacer PINE64-Quartz64-Model-A
In Orange Pi 5: 8-core CPU 2.4GHz, up to 32GB DDR4
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.
In My Unholy Battle with a Rock64

MAKE YOURSELF AT HOME

A few shortcuts

/
Search the collection
?
Open this guide
Esc
Close dialogs and navigation

Your saved repositories and interests stay in this browser.