pftf / RPi4Links
Raspberry Pi 4 UEFI Firmware Images
☆1,325Updated last month
Alternatives and similar repositories for RPi4
Users that are interested in RPi4 are comparing it to the libraries listed below
Sorting:
- Raspberry Pi 3 UEFI Firmware Images☆297Updated last month
- Installation scripts and binaries for the Raspberry Pi 4 and Raspberry Pi 5 bootloader EEPROMs☆1,428Updated last week
- EDK2 firmware images for Raspberry Pi 5☆426Updated 10 months ago
- Raspberry Pi USB device provisioning tool (RPIBOOT)☆1,178Updated last week
- EDK II sample platform branches and tags☆625Updated 2 weeks ago
- Bootable 64-bit Gentoo image for the Raspberry Pi4B, 3B & 3B+, with Linux 5.4, OpenRC, Xfce4, VC4/V3D, camera and h/w codec support, wee…☆916Updated 5 years ago
- Raspberry Pi PCI Express device compatibility database☆1,866Updated this week
- Windows on ARM device drivers for the Raspberry Pi single-board computer.☆364Updated 2 years ago
- Simple benchmark for single board computers☆746Updated 2 weeks ago
- DEPRECATED - DO NOT USE | Go here instead ->☆746Updated 5 years ago
- EDK2 UEFI firmware for Rockchip RK3588 platforms☆868Updated 2 weeks ago
- ☆194Updated last month
- Open source VPU side bootloader for Raspberry Pi.☆448Updated 4 months ago
- This repository contains pre-compiled binaries of the current Raspberry Pi kernel and modules, userspace libraries, and bootloader/GPU f…☆5,443Updated last week
- Build an Linux OS based image☆255Updated last month
- EDK2 UEFI for Rockchip RK3566 and RK3568 based SBCs.☆199Updated last year
- Firmware files for the Raspberry Pi☆782Updated 4 years ago
- An enhanced Operating System installer for the Raspberry Pi☆1,332Updated 3 months ago
- Repository for containing issues on the 64 bit operating system (as distinct from the 32 bit one)☆468Updated 2 years ago
- Firmware files for the Raspberry Pi☆207Updated last week
- ☆300Updated this week
- An opinionated distribution of U-Boot. — https://matrix.to/#/#Tow-Boot:matrix.org?via=matrix.org☆619Updated 11 months ago
- ☆761Updated last month
- Debian OS builder☆664Updated this week
- Berryboot -- Boot menu / OS installer☆824Updated last year
- Rock64 Linux build scripts, tools and instructions☆566Updated 2 years ago
- EFI FileSystem drivers☆606Updated last year
- Image Builder for the Raspberry Pi☆174Updated last month
- UEFI shim loader☆1,025Updated 4 months ago
- iPXE for the Raspberry Pi☆210Updated last year