pftf / RPi4
Raspberry Pi 4 UEFI Firmware Images
☆1,265Updated 2 months ago
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☆285Updated last year
- Installation scripts and binaries for the Raspberry Pi 4 and Raspberry Pi 5 bootloader EEPROMs☆1,359Updated this week
- Raspberry Pi USB booting code, moved from tools repository☆1,049Updated last month
- EDK II sample platform branches and tags☆587Updated last week
- EDK2 firmware images for Raspberry Pi 5☆389Updated 3 months ago
- Configuration tool for the Raspberry Pi☆585Updated this week
- The LinuxBoot project is working to enable Linux to replace your firmware on all platforms.☆900Updated 5 months ago
- ☆708Updated this week
- This repository contains pre-compiled binaries of the current Raspberry Pi kernel and modules, userspace libraries, and bootloader/GPU f…☆5,309Updated last week
- Legal utility that runs on RPiOS to flash another SD card with Windows 10/11☆668Updated 2 months ago
- EFI FileSystem drivers☆557Updated 5 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…☆916Updated 4 years ago
- iPXE network bootloader☆1,669Updated this week
- Windows paravirtualized drivers for QEMU\KVM☆2,279Updated this week
- EDK2 UEFI for Rockchip RK3566 and RK3568 based SBCs.☆177Updated 11 months ago
- UEFI shim loader☆942Updated this week
- ☆191Updated 3 weeks ago
- Firmware files for the Raspberry Pi☆779Updated 3 years ago
- UEFI Shell binary images, generated from EDK2 stable☆405Updated 5 months ago
- Raspberry Pi Server wizard to serve Raspbian to network booting Pis☆329Updated 9 months ago
- EDK2 UEFI firmware for Rockchip RK3588 platforms☆626Updated last month
- iPXE for the Raspberry Pi☆199Updated last year
- DEPRECATED - DO NOT USE | Go here instead ->☆745Updated 5 years ago
- Proxmox VE & PBS unofficial arm64 version☆398Updated last year
- ☆272Updated last week
- OpenWrt firmware installer☆404Updated this week
- ☆511Updated 7 months ago
- Image Builder for the Raspberry Pi☆170Updated last week
- Simple benchmark for single board computers☆708Updated last week
- Open source VPU side bootloader for Raspberry Pi.☆4Updated 3 years ago