pftf / RPi4Links
Raspberry Pi 4 UEFI Firmware Images
☆1,294Updated 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☆291Updated 2 years ago
- Installation scripts and binaries for the Raspberry Pi 4 and Raspberry Pi 5 bootloader EEPROMs☆1,384Updated 2 weeks ago
- Raspberry Pi USB booting code, moved from tools repository☆1,089Updated this week
- EDK2 firmware images for Raspberry Pi 5☆407Updated 6 months ago
- EDK II sample platform branches and tags☆600Updated last week
- Windows on ARM device drivers for the Raspberry Pi single-board computer.☆361Updated last year
- 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…☆917Updated 4 years ago
- DEPRECATED - DO NOT USE | Go here instead ->☆745Updated 5 years ago
- iPXE network bootloader☆1,737Updated this week
- UEFI shim loader☆971Updated this week
- EDK2 UEFI firmware for Rockchip RK3588 platforms☆695Updated 2 months ago
- ☆732Updated 2 months ago
- The LinuxBoot project is working to enable Linux to replace your firmware on all platforms.☆918Updated 8 months ago
- Repository for containing issues on the 64 bit operating system (as distinct from the 32 bit one)☆468Updated last year
- This repository contains pre-compiled binaries of the current Raspberry Pi kernel and modules, userspace libraries, and bootloader/GPU f…☆5,366Updated last week
- Automated weekly build of the default branch 64-bit bcm2711_defconfig (+ tweaks) Linux kernel for the RPi4☆39Updated 4 years ago
- Build an Linux OS based image☆250Updated last month
- Windows paravirtualized drivers for QEMU\KVM☆2,371Updated this week
- ☆284Updated last month
- Raspberry Pi PCI Express device compatibility database☆1,792Updated this week
- EFI FileSystem drivers☆573Updated 8 months ago
- The main PiKVM daemon☆260Updated last week
- Open source VPU side bootloader for Raspberry Pi.☆438Updated 3 months ago
- Firmware files for the Raspberry Pi☆188Updated last week
- iPXE for the Raspberry Pi☆201Updated last year
- ☆194Updated 3 months ago
- Debian OS builder☆614Updated this week
- Simple benchmark for single board computers☆722Updated last week
- Configuration tool for the Raspberry Pi☆591Updated this week
- Firmware files for the Raspberry Pi☆777Updated 3 years ago