pftf / RPi4Links
Raspberry Pi 4 UEFI Firmware Images
☆1,292Updated 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☆286Updated 2 years ago
- Installation scripts and binaries for the Raspberry Pi 4 and Raspberry Pi 5 bootloader EEPROMs☆1,377Updated last week
- EDK2 firmware images for Raspberry Pi 5☆400Updated 5 months ago
- Raspberry Pi USB booting code, moved from tools repository☆1,076Updated 2 weeks ago
- EDK II sample platform branches and tags☆600Updated last week
- DEPRECATED - DO NOT USE | Go here instead ->☆745Updated 5 years 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…☆913Updated 4 years ago
- ☆192Updated 2 months ago
- Open source VPU side bootloader for Raspberry Pi.☆436Updated 2 months ago
- Windows on ARM device drivers for the Raspberry Pi single-board computer.☆359Updated last year
- Repository for containing issues on the 64 bit operating system (as distinct from the 32 bit one)☆468Updated last year
- The main PiKVM daemon☆259Updated last week
- The LinuxBoot project is working to enable Linux to replace your firmware on all platforms.☆915Updated 7 months ago
- Simple benchmark for single board computers☆720Updated 2 weeks ago
- EDK2 UEFI firmware for Rockchip RK3588 platforms☆681Updated last month
- Build an Linux OS based image☆250Updated 3 weeks ago
- iPXE for the Raspberry Pi☆199Updated last year
- iPXE network bootloader☆1,717Updated this week
- Proxmox V7 for Raspberry Pi☆1,900Updated last year
- EDK2 UEFI for Rockchip RK3566 and RK3568 based SBCs.☆182Updated last year
- Debian OS builder☆600Updated 2 weeks ago
- Firmware files for the Raspberry Pi☆777Updated 3 years ago
- Firmware files for the Raspberry Pi☆187Updated this week
- ☆231Updated 6 months ago
- Image Builder for the Raspberry Pi☆173Updated 3 weeks ago
- Debian image builder for single board computers☆157Updated this week
- Tool used to create the official Raspberry Pi OS images☆2,931Updated 3 weeks ago
- EFI FileSystem drivers☆571Updated 7 months ago
- Windows paravirtualized drivers for QEMU\KVM☆2,342Updated last week
- Raspberry Pi Server wizard to serve Raspbian to network booting Pis☆330Updated 11 months ago