pftf / RPi4Links
Raspberry Pi 4 UEFI Firmware Images
☆1,274Updated last week
Alternatives and similar repositories for RPi4
Users that are interested in RPi4 are comparing it to the libraries listed below
Sorting:
- Installation scripts and binaries for the Raspberry Pi 4 and Raspberry Pi 5 bootloader EEPROMs☆1,367Updated this week
- Raspberry Pi 3 UEFI Firmware Images☆285Updated 2 years ago
- EDK II sample platform branches and tags☆592Updated this week
- Raspberry Pi USB booting code, moved from tools repository☆1,055Updated last week
- EDK2 firmware images for Raspberry Pi 5☆393Updated 4 months ago
- Windows on ARM device drivers for the Raspberry Pi single-board computer.☆356Updated last year
- Legal utility that runs on RPiOS to flash another SD card with Windows 10/11☆671Updated 3 months ago
- DEPRECATED - DO NOT USE | Go here instead ->☆745Updated 5 years ago
- Windows paravirtualized drivers for QEMU\KVM☆2,296Updated last week
- This repository contains pre-compiled binaries of the current Raspberry Pi kernel and modules, userspace libraries, and bootloader/GPU f…☆5,328Updated this week
- EDK2 UEFI for Rockchip RK3566 and RK3568 based SBCs.☆178Updated last year
- Configuration tool for the Raspberry Pi☆585Updated this week
- Raspberry Pi PCI Express device compatibility database☆1,758Updated last week
- UEFI shim loader☆949Updated this week
- ☆717Updated 3 weeks ago
- iPXE network bootloader☆1,690Updated this week
- Repository for containing issues on the 64 bit operating system (as distinct from the 32 bit one)☆467Updated last year
- EDK2 UEFI firmware for Rockchip RK3588 platforms☆637Updated 2 weeks ago
- The LinuxBoot project is working to enable Linux to replace your firmware on all platforms.☆907Updated 6 months ago
- Automated weekly build of the default branch 64-bit bcm2711_defconfig (+ tweaks) Linux kernel for the RPi4☆39Updated 4 years ago
- iPXE for the Raspberry Pi☆199Updated last year
- EFI FileSystem drivers☆559Updated 6 months ago
- Simple benchmark for single board computers☆712Updated last week
- Automated weekly build of the default branch 64-bit bcm2711_defconfig Linux kernel for the Raspberry Pi 4☆25Updated 4 years ago
- Windows IOT drivers☆134Updated 3 years ago
- The home of Raspberry Pi Imager, a user-friendly tool for creating bootable media for Raspberry Pi devices.☆1,927Updated this week
- ☆511Updated 8 months ago
- The pci.ids file☆330Updated last week
- Debian OS builder☆588Updated last month
- Open source VPU side bootloader for Raspberry Pi.☆435Updated last month