pftf / RPi4
Raspberry Pi 4 UEFI Firmware Images
☆1,236Updated last week
Alternatives and similar repositories for RPi4:
Users that are interested in RPi4 are comparing it to the libraries listed below
- Raspberry Pi 3 UEFI Firmware Images☆283Updated last year
- Installation scripts and binaries for the Raspberry Pi 4 and Raspberry Pi 5 bootloader EEPROMs☆1,303Updated this week
- EDK II sample platform branches and tags☆570Updated this week
- Raspberry Pi USB booting code, moved from tools repository☆971Updated this week
- EDK2 firmware images for Raspberry Pi 5☆365Updated 10 months ago
- Windows on ARM device drivers for the Raspberry Pi single-board computer.☆345Updated last year
- This repository contains pre-compiled binaries of the current Raspberry Pi kernel and modules, userspace libraries, and bootloader/GPU f…☆5,236Updated this week
- EDK2 UEFI for Rockchip RK3566 and RK3568 based SBCs.☆164Updated 7 months ago
- iPXE network bootloader☆1,589Updated this week
- EDK2 UEFI firmware for Rockchip RK3588 platforms☆529Updated this week
- ☆188Updated last month
- Configuration tool for the Raspberry Pi☆578Updated this week
- Open source VPU side bootloader for Raspberry Pi.☆430Updated 11 months ago
- DEPRECATED - DO NOT USE | Go here instead ->☆743Updated 4 years ago
- iPXE for the Raspberry Pi☆199Updated 11 months 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…☆919Updated 4 years ago
- The LinuxBoot project is working to enable Linux to replace your firmware on all platforms.☆883Updated last month
- Raspberry Pi PCI Express device compatibility database☆1,669Updated 2 weeks ago
- Build an Linux OS based image☆239Updated last week
- Debian OS builder☆556Updated this week
- EFI FileSystem drivers☆543Updated 2 months ago
- Legal utility that runs on RPiOS to flash another SD card with Windows 10/11☆635Updated last week
- Firmware files for the Raspberry Pi☆166Updated this week
- Image Builder for the Raspberry Pi☆170Updated last week
- The home of Raspberry Pi Imager, a user-friendly tool for creating bootable media for Raspberry Pi devices.☆1,783Updated 2 weeks ago
- Qemu kernel for emulating Rpi on QEMU☆2,070Updated 2 years ago
- Cross platform utilities useful for performing various operations on SATA, SAS, NVMe, and USB storage devices.☆541Updated last week
- Firmware and Tool Binarys☆237Updated 2 weeks ago
- A complete zram-config utility for swap, directories, and logs to reduce SD, NAND and eMMC block wear.☆472Updated this week
- Armbian Linux Documentation provides set of guides, manuals, and resources available to help users install, configure, and use Armbian☆193Updated this week