pftf / RPi4
Raspberry Pi 4 UEFI Firmware Images
☆1,194Updated 3 weeks ago
Related projects: ⓘ
- Raspberry Pi 3 UEFI Firmware Images☆275Updated last year
- Installation scripts and binaries for the Raspberry Pi 4 and Raspberry Pi 5 bootloader EEPROMs☆1,258Updated this week
- EDK II sample platform branches and tags☆545Updated this week
- Raspberry Pi USB booting code, moved from tools repository☆911Updated last week
- EDK2 firmware images for Raspberry Pi 5☆288Updated 6 months ago
- Windows on ARM device drivers for the Raspberry Pi single-board computer.☆334Updated 9 months ago
- Raspberry Pi PCI Express device compatibility database☆1,560Updated last week
- iPXE for the Raspberry Pi☆194Updated 6 months ago
- DEPRECATED - DO NOT USE | Go here instead ->☆748Updated 4 years ago
- iPXE network bootloader☆1,475Updated this week
- This repository contains pre-compiled binaries of the current Raspberry Pi kernel and modules, userspace libraries, and bootloader/GPU f…☆5,150Updated this week
- 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…☆920Updated 3 years ago
- Open source VPU side bootloader for Raspberry Pi.☆426Updated 7 months ago
- ☆183Updated last month
- Berryboot -- Boot menu / OS installer☆805Updated 2 months ago
- EDK2 UEFI firmware for Rockchip RK3588 platforms☆441Updated last week
- UEFI shim loader☆851Updated 3 weeks ago
- EFI FileSystem drivers☆518Updated 3 months ago
- Repository for containing issues on the 64 bit operating system (as distinct from the 32 bit one)☆466Updated 11 months ago
- Windows paravirtualized drivers for QEMU\KVM☆1,993Updated this week
- The LinuxBoot project is working to enable Linux to replace your firmware on all platforms.☆855Updated 3 months ago
- Legal utility that runs on RPiOS to flash another SD card with Windows 10/11☆613Updated this week
- An enhanced Operating System installer for the Raspberry Pi☆1,107Updated 3 months ago
- Image Builder for the Raspberry Pi☆163Updated 3 weeks ago
- Configuration tool for the Raspberry Pi☆565Updated this week
- Proxmox V7 for Raspberry Pi☆1,713Updated 8 months ago
- Any Linux distribution, anywhere.☆687Updated this week
- Firmware files for the Raspberry Pi☆774Updated 2 years ago
- Debian OS builder☆533Updated last month
- EDK2 UEFI for Rockchip RK3566 and RK3568 based SBCs.☆151Updated 3 months ago