RPi3 | edk2 | |
---|---|---|
7 | 51 | |
262 | 4,262 | |
1.9% | 1.9% | |
4.1 | 9.9 | |
11 months ago | 1 day ago | |
Shell | C | |
GNU General Public License v3.0 or later | GNU General Public License v3.0 or later |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
RPi3
-
Anon is worried about Linux
Projects like Tow-Boot, a distribution of U-Boot, provide a nice boot menu and allow you to boot the "generic ARM" ISOs that are usually just UEFI. On the Raspberry Pi 3 and 4, you can put Tianocore EDK2 onto the SD card and boot any UEFI image, including Windows 10 or 11 for ARM.
-
Raspberry Pi 4 running Gentoo?
The approach I used is very different from the conventional setup. Most setups will rely on the default boot loader stack that the Raspberry Pi uses, but this project instead relies on the UEFI images provided by https://github.com/pftf/RPi3/ and https://github.com/pftf/RPi4 instead. There are two reasons for this.
-
Raspberry Pi 3 Fastboot – Less Than 2 Seconds
> Isn't a faster boot what everybody wants?
I’ll rather have slow boot and proper UEFI support so I can boot any vanilla ARM64 Linux distro (Debian proper), instead of images/distros which have been crafted to be device-specific (Raspbian).
I boot this thing once every second month at most. I honestly couldn’t care less about boot-times.
Luckily for me, there are solutions to my problem too ;)
https://github.com/pftf/RPi3
-
Google will soon block YouTube and Maps apps for Android 2.3 users
It's been manually implemented for many devices - the Renegade Project and Raspberry Pi 3 implementation do exactly this.
-
State of netbooting Raspberry Pi in 2021
Odd to see using UEFI to NetBoot not considered an option at all.
It should eliminate the timing-bug 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
- Considering giving OpenBSD another try
- I've recently got OpenBSD up and running on a Pi 3B. I've documented the process, in case it is useful to anyone else.
edk2
-
Future of 32-bit platform support in FreeBSD
For the modern server/desktop and even laptop, that's also no bad thing. It is somewhat ridiculous that UEFI bioses, internally, still boot in 16-bit real mode and have to do all the steps your bios bootloader used to do to set up a 64-bit environment ready to go: https://github.com/tianocore/edk2/blob/edc6681206c1a8791981a..., https://github.com/tianocore/edk2/blob/edc6681206c1a8791981a..., https://github.com/tianocore/edk2/blob/edc6681206c1a8791981a...
Why not just start the CPU in "long mode", which is what everyone is using it for, in the first place?
These newer ARM processors support 32-bit code at EL0 only (userspace). That seems like a reasonable approach for x86 as well and the freebsd announcement has this to say:
> There is currently no plan to remove support for 32-bit binaries on 64-bit kernels.
So for the moment, you can run 32-bit applications just fine.
-
Precision 7520: 64GB memory 3200MHz support
Download this UEFI shell and place it in the BOOT subfolder
-
Just about every Windows and Linux device vulnerable to new LogoFAIL firmware attack
They could have at least informed TianoCore. the affected code in edk2 hasn't been modified in 2 years.... https://github.com/tianocore/edk2/blob/master/MdeModulePkg/Library/BaseBmpSupportLib/BmpSupportLib.c
-
VM not booting with host-passthrough or host-model
I have half fixed it.. Using this solution: https://github.com/tianocore/edk2/discussions/4662
-
All gaming laptop owners know this is never true...
You need only EDK2 and some lööps.
-
AMD openSIL open source firmware proof of concept
What is the difference between this and https://github.com/tianocore/edk2
-
AMD to move to open source firmware in 2026
From there you'll need to get an EFI Shell. There may be one built into your system, but you can also get one here from Tianocore (aka, the people mostly making UEFI). Neither this EFI Shell nor Keytool.efi (the thing you need to load the keys) are signed of course, so you will need to turn off SecureBoot to continue. From there just run Keytool with your new keys, turn back on SecureBoot, and move on with your life.
-
Windows installation doesn't boot up when I try to use UEFI firmware
I had the same issue. What fixed it for me was compiling my own OVMF.fd file from here and using that to boot. The version of OVMF that shipped with fedora was broken for me for some reason.
- why chatgpt knows about (haswell NRI) [ERROR] REUT timed out, ch_done: 0 but not in google?
- EDK II Project: cross-platform firmware development environment
What are some alternatives?
RPi4 - Raspberry Pi 4 UEFI Firmware Images
vTPM - libtpms / swtpm software emulation of a Trusted Platform Module (TPM 1.2 and TPM 2.0) compile script
edk2-sdm845 - (Maybe) Generic edk2 port for sdm845
tianocore
Tow-Boot - An opinionated distribution of U-Boot. — https://matrix.to/#/#Tow-Boot:matrix.org?via=matrix.org
coreboot - Mirror of https://review.coreboot.org/coreboot.git. We don't handle Pull Requests.
Debian-Pi-Aarch64 - This is the first 64-bit system in the world to support all Raspberry Pi 64-bit hardware!!! (Include: PI400,4B,3B+,3B,3A+,Zero2W)
Getting-Started-With-ACPI - Repo for Getting Started With ACPI
edk2-msm - Broken edk2 port for Qualcomm platforms xD
limine - Modern, advanced, portable, multiprotocol bootloader.
homebridge-raspbian-image - Official Homebridge Raspberry Pi Image based on Raspberry Pi OS Lite.
OpenCorePkg - OpenCore bootloader