pftf / RPi4
Raspberry Pi 4 UEFI Firmware Images
☆1,258Updated last month
Alternatives and similar repositories for RPi4:
Users that are interested in RPi4 are comparing it to the libraries listed below
- 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,340Updated last week
- Raspberry Pi USB booting code, moved from tools repository☆1,022Updated this week
- EDK2 firmware images for Raspberry Pi 5☆380Updated last month
- EDK II sample platform branches and tags☆582Updated last week
- Windows on ARM device drivers for the Raspberry Pi single-board computer.☆354Updated last year
- The LinuxBoot project is working to enable Linux to replace your firmware on all platforms.☆895Updated 4 months ago
- This repository contains pre-compiled binaries of the current Raspberry Pi kernel and modules, userspace libraries, and bootloader/GPU f…☆5,277Updated this week
- DEPRECATED - DO NOT USE | Go here instead ->☆745Updated 5 years ago
- iPXE for the Raspberry Pi☆198Updated last year
- iPXE network bootloader☆1,637Updated this week
- ☆191Updated 3 weeks ago
- Open source VPU side bootloader for Raspberry Pi.☆433Updated last year
- UEFI shim loader☆924Updated 2 weeks ago
- Repository for containing issues on the 64 bit operating system (as distinct from the 32 bit one)☆467Updated last year
- Configuration tool for the Raspberry Pi☆583Updated 3 weeks ago
- Windows paravirtualized drivers for QEMU\KVM☆2,211Updated this week
- Debian OS builder☆573Updated 2 weeks 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…☆917Updated 4 years ago
- Legal utility that runs on RPiOS to flash another SD card with Windows 10/11☆652Updated last month
- Image Builder for the Raspberry Pi☆171Updated last month
- The home of Raspberry Pi Imager, a user-friendly tool for creating bootable media for Raspberry Pi devices.☆1,861Updated 3 weeks ago
- Raspberry Pi PCI Express device compatibility database☆1,716Updated 2 weeks ago
- Libtpms-based TPM emulator with socket, character device, and Linux CUSE interface.☆643Updated this week
- EDK2 UEFI firmware for Rockchip RK3588 platforms☆572Updated 2 weeks ago
- Firmware files for the Raspberry Pi☆778Updated 3 years ago
- EFI FileSystem drivers☆549Updated 4 months ago
- Tool used to create the official Raspberry Pi OS images☆2,813Updated 2 weeks ago
- Berryboot -- Boot menu / OS installer☆820Updated 9 months ago
- An easier way to update the firmware of your Raspberry Pi☆165Updated last week