pftf / RPi4Links
Raspberry Pi 4 UEFI Firmware Images
☆1,314Updated this week
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☆294Updated this week
- Installation scripts and binaries for the Raspberry Pi 4 and Raspberry Pi 5 bootloader EEPROMs☆1,409Updated this week
- EDK2 firmware images for Raspberry Pi 5☆422Updated 9 months ago
- EDK II sample platform branches and tags☆618Updated last week
- Windows on ARM device drivers for the Raspberry Pi single-board computer.☆363Updated last year
- 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
- Build an Linux OS based image☆252Updated last month
- DEPRECATED - DO NOT USE | Go here instead ->☆745Updated 5 years ago
- Repository for containing issues on the 64 bit operating system (as distinct from the 32 bit one)☆467Updated 2 years ago
- UEFI shim loader☆1,008Updated 2 months ago
- EFI FileSystem drivers☆596Updated 11 months ago
- ☆752Updated 3 months ago
- ☆295Updated this week
- EDK2 UEFI for Rockchip RK3566 and RK3568 based SBCs.☆193Updated last year
- ☆194Updated last month
- EDK2 UEFI firmware for Rockchip RK3588 platforms☆836Updated 5 months ago
- Firmware files for the Raspberry Pi☆199Updated last week
- iPXE network bootloader☆1,804Updated last week
- Simple benchmark for single board computers☆736Updated last week
- This repository contains pre-compiled binaries of the current Raspberry Pi kernel and modules, userspace libraries, and bootloader/GPU f…☆5,407Updated last week
- iPXE for the Raspberry Pi☆208Updated last year
- Image Builder for the Raspberry Pi☆175Updated this week
- UEFI Shell binary images, generated from EDK2 stable☆496Updated 5 months ago
- The home of Raspberry Pi Imager, a user-friendly tool for creating bootable media for Raspberry Pi devices.☆2,115Updated this week
- PKGBUILDs modified to build on Arch Linux ARM☆1,021Updated this week
- Scripts to build bootable SD card images with Debian for various single-board computers☆231Updated last week
- An easier way to update the firmware of your Raspberry Pi☆181Updated 3 months ago
- An opinionated distribution of U-Boot. — https://matrix.to/#/#Tow-Boot:matrix.org?via=matrix.org☆617Updated 9 months ago
- Raspberry Pi Server wizard to serve Raspbian to network booting Pis☆333Updated last year
- Scripts for setup/install/firmware update for ChromeOS devices☆709Updated this week