pftf / RPi4Links
Raspberry Pi 4 UEFI Firmware Images
☆1,329Updated 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☆302Updated last month
- Installation scripts and binaries for the Raspberry Pi 4 and Raspberry Pi 5 bootloader EEPROMs☆1,437Updated this week
- EDK2 firmware images for Raspberry Pi 5☆429Updated 11 months ago
- EDK II sample platform branches and tags☆626Updated last week
- Raspberry Pi USB device provisioning tool (RPIBOOT)☆1,194Updated 3 weeks ago
- Raspberry Pi PCI Express device compatibility database☆1,877Updated 2 weeks ago
- Windows on ARM device drivers for the Raspberry Pi single-board computer.☆365Updated 2 years ago
- EDK2 UEFI firmware for Rockchip RK3588 platforms☆893Updated last month
- 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…☆915Updated 5 years ago
- DEPRECATED - DO NOT USE | Go here instead ->☆746Updated 5 years ago
- EDK2 UEFI for Rockchip RK3566 and RK3568 based SBCs.☆202Updated last year
- EFI FileSystem drivers☆607Updated last year
- iPXE network bootloader☆1,852Updated last week
- Repository for containing issues on the 64 bit operating system (as distinct from the 32 bit one)☆467Updated 2 years ago
- Legal utility that runs on RPiOS to flash another SD card with Windows 10/11☆707Updated 4 months ago
- Simple benchmark for single board computers☆750Updated this week
- Firmware files for the Raspberry Pi☆206Updated last week
- ☆764Updated 2 months ago
- UEFI shim loader☆1,027Updated this week
- ☆195Updated 2 months ago
- The LinuxBoot project is working to enable Linux to replace your firmware on all platforms.☆946Updated last year
- Debian OS builder☆667Updated this week
- Image Builder for the Raspberry Pi☆175Updated last month
- Build an Linux OS based image☆257Updated last week
- iPXE for the Raspberry Pi☆209Updated last year
- ☆246Updated this week
- Open source VPU side bootloader for Raspberry Pi.☆452Updated 4 months ago
- Automated weekly build of the default branch 64-bit bcm2711_defconfig (+ tweaks) Linux kernel for the RPi4☆39Updated 5 years ago
- Automated weekly build of the default branch 64-bit bcm2711_defconfig Linux kernel for the Raspberry Pi 4☆25Updated 5 years ago
- Firmware files for the Raspberry Pi☆782Updated 4 years ago