Alternatives and similar repositories for RPi4:

Users that are interested in RPi4 are comparing it to the libraries listed below

• pftf / RPi3
  Raspberry Pi 3 UEFI Firmware Images
  ☆286Updated last year
• tianocore / edk2-platforms
  EDK II sample platform branches and tags
  ☆584Updated last week
• raspberrypi / rpi-eeprom
  Installation scripts and binaries for the Raspberry Pi 4 and Raspberry Pi 5 bootloader EEPROMs
  ☆1,348Updated 2 weeks ago
• worproject / rpi5-uefi
  EDK2 firmware images for Raspberry Pi 5
  ☆386Updated 2 months ago
• raspberrypi / usbboot
  Raspberry Pi USB booting code, moved from tools repository
  ☆1,030Updated 2 weeks ago
• worproject / RPi-Windows-Drivers
  Windows on ARM device drivers for the Raspberry Pi single-board computer.
  ☆353Updated last year
• rhboot / shim
  UEFI shim loader
  ☆932Updated 3 weeks ago
• ipxe / ipxe
  iPXE network bootloader
  ☆1,652Updated this week
• ipxe / pipxe
  iPXE for the Raspberry Pi
  ☆198Updated last year
• pbatard / EfiFs
  EFI FileSystem drivers
  ☆552Updated 4 months ago
• virtio-win / kvm-guest-drivers-windows
  Windows paravirtualized drivers for QEMU\KVM
  ☆2,248Updated this week
• raspberrypi / firmware
  This repository contains pre-compiled binaries of the current Raspberry Pi kernel and modules, userspace libraries, and bootloader/GPU f…
  ☆5,285Updated last week
• intel / Intel-Linux-Processor-Microcode-Data-Files
  ☆706Updated 2 months ago
• edk2-porting / edk2-rk3588
  EDK2 UEFI firmware for Rockchip RK3588 platforms
  ☆597Updated 2 weeks ago
• linuxboot / linuxboot
  The LinuxBoot project is working to enable Linux to replace your firmware on all platforms.
  ☆896Updated 4 months ago
• sakaki- / gentoo-on-rpi-64bit
  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
• andreiw / RaspberryPiPkg
  DEPRECATED - DO NOT USE | Go here instead ->
  ☆745Updated 5 years ago
• librerpi / rpi-open-firmware
  Open source VPU side bootloader for Raspberry Pi.
  ☆433Updated last year
• pyavitz / rpi-img-builder
  Image Builder for the Raspberry Pi
  ☆170Updated 2 weeks ago
• RPi-Distro / firmware-nonfree
  ☆191Updated last month
• stefanberger / swtpm
  Libtpms-based TPM emulator with socket, character device, and Linux CUSE interface.
  ☆647Updated last week
• jaredmcneill / quartz64_uefi
  EDK2 UEFI for Rockchip RK3566 and RK3568 based SBCs.
  ☆172Updated 10 months ago
• pikvm / kvmd
  The main PiKVM daemon
  ☆244Updated last week
• raspberrypi / piserver
  Raspberry Pi Server wizard to serve Raspbian to network booting Pis
  ☆328Updated 9 months ago
• open-power / petitboot
  ☆227Updated 3 months ago
• slimbootloader / slimbootloader
  Visit http://slimbootloader.github.io for documentation
  ☆394Updated last week
• go-debos / debos
  Debian OS builder
  ☆579Updated 2 weeks ago
• RPi-Distro / pi-gen
  Tool used to create the official Raspberry Pi OS images
  ☆2,844Updated last month
• Botspot / wor-flasher
  Legal utility that runs on RPiOS to flash another SD card with Windows 10/11
  ☆662Updated last month
• raspberrypi / Raspberry-Pi-OS-64bit
  Repository for containing issues on the 64 bit operating system (as distinct from the 32 bit one)
  ☆467Updated last year