RWrwmj·Nov 2, 2020
It's not fixed yet. It's the same as this issue: https://github.com/pftf/RPi4/issues/99
In Raspberry Pi 400 Desktop PCpftf
RPi4
Creative & Media2020–2025
pftf / RPi4
RPi4
Raspberry Pi 4 UEFI Firmware Images
12Distinct people
18Mentions
0Explicit recommenders
1.4KGitHub stars
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.
Counts come from the repository’s dated source evidence. Index cutoff: 2026-11-02 08:16:59 UTC.
View mention counts and date ranges
| Period | Start (UTC) | End (exclusive, UTC) | Mentions | Submissions | Comments |
|---|---|---|---|---|---|
| 2020 | 2020-01-01 00:00:00 UTC | 2021-01-01 00:00:00 UTC | 5 | 1 | 4 |
| 2021 | 2021-01-01 00:00:00 UTC | 2022-01-01 00:00:00 UTC | 6 | 0 | 6 |
| 2022 | 2022-01-01 00:00:00 UTC | 2023-01-01 00:00:00 UTC | 2 | 0 | 2 |
| 2023 | 2023-01-01 00:00:00 UTC | 2024-01-01 00:00:00 UTC | 3 | 0 | 3 |
| 2024 | 2024-01-01 00:00:00 UTC | 2025-01-01 00:00:00 UTC | 0 | 0 | 0 |
| 2025 | 2025-01-01 00:00:00 UTC | 2026-01-01 00:00:00 UTC | 2 | 0 | 2 |
What Hacker News says
5 sourcesSounds like they fixed (read: worked-around) that issue in https://github.com/pftf/RPi4/releases/tag/v1.17
In Raspberry Pi 400 Desktop PCMy naive understanding is ARM devices traditionally use a static, unchanging "device tree" specification to bring up hardware on boot. There's a project for implementing UEFI firmware for the Raspberry Pi - as one ARM device - so that you can take any unmodified (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 the rpi sits without an SD card. It's powered via Power over Ethernet (PoE), is advertised a pxe server, gets the initial uefi & ipxe binaries, then I can boot from an image off Github or one served locally. ipxe just adds another layer of indirection for expanded fun.
In OpenJDK Comes to Windows 10 on ARMIt's been booted as 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 reasonably usable setup (with varying workarounds which each have their own limitations) followed by the GPU driver - neither are easily fixed unfortunately.
In 8GB Raspberry Pi 4 on sale now at $75Raspberry Pi 4 UEFI Firmware Images
3 points · Open discussion