Alternatives and similar repositories for RPi3:

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

• pftf / RPi4
  Raspberry Pi 4 UEFI Firmware Images
  ☆1,256Updated last month
• librerpi / rpi-open-firmware
  Open source VPU side bootloader for Raspberry Pi.
  ☆433Updated last year
• worproject / rpi5-uefi
  EDK2 firmware images for Raspberry Pi 5
  ☆381Updated last month
• jaredmcneill / quartz64_uefi
  EDK2 UEFI for Rockchip RK3566 and RK3568 based SBCs.
  ☆169Updated 9 months ago
• open-power / petitboot
  ☆226Updated 2 months ago
• pbatard / EfiFs
  EFI FileSystem drivers
  ☆548Updated 3 months ago
• tianocore / edk2-platforms
  EDK II sample platform branches and tags
  ☆581Updated this week
• ipxe / pipxe
  iPXE for the Raspberry Pi
  ☆198Updated last year
• go-debos / debos
  Debian OS builder
  ☆572Updated last week
• maharmstone / winmd
  WinMD
  ☆292Updated 3 years ago
• rhboot / efivar
  Tools and libraries to work with EFI variables
  ☆251Updated 7 months ago
• johang / sd-card-images
  Scripts to build bootable SD card images with Debian for various single-board computers
  ☆175Updated last week
• andreiw / rk3399-edk2
  Uefi Rockchip Rk3399Pkg
  ☆71Updated 4 years ago
• crust-firmware / crust
  SCP (power management) firmware for sunxi SoCs
  ☆161Updated this week
• pyavitz / debian-image-builder
  Debian image builder for single board computers
  ☆147Updated this week
• kexecboot / kexecboot
  Kexecboot is a nice Linux-As-a-Bootloader implementation based on kexec
  ☆112Updated last year
• daniel-thompson / pinebook-pro-debian-installer
  Unofficial Debian installer for Pinebook Pro
  ☆86Updated 4 years ago
• pyavitz / rpi-img-builder
  Image Builder for the Raspberry Pi
  ☆171Updated last month
• aarch64-laptops / build
  Build an Linux OS based image
  ☆244Updated last week
• AgentD / squashfs-tools-ng
  A new set of tools and libraries for working with SquashFS images
  ☆211Updated 6 months ago
• kth5 / archpower
  Unofficial Archlinux port to powerpc64le, powerpc64, powerpc and riscv64
  ☆93Updated this week
• chesty / overlayroot
  mounts an overlay file system over root
  ☆176Updated 3 years ago
• edk2-porting / edk2-rk3588
  EDK2 UEFI firmware for Rockchip RK3588 platforms
  ☆568Updated this week
• alpinelinux / alpine-make-rootfs
  Make customized Alpine Linux rootfs (base image) for containers
  ☆225Updated 2 months ago
• TravMurav / slbounce
  Secure-Launch implementation for Qualcomm devices
  ☆73Updated last month
• librerpi / lk-overlay
  ☆91Updated 5 months ago
• Biktorgj / quectel_eg25_recovery
  Stock firmware recovery packages for Quectel EG25-G
  ☆89Updated 10 months ago
• Lakshmipathi / dduper
  Fast block-level out-of-band BTRFS deduplication tool.
  ☆176Updated 4 months ago
• ndeineko / grub2-bios-uefi-usb
  Create a USB boot drive with support for legacy BIOS and 32/64bit UEFI in a single partition on Linux
  ☆69Updated 5 months ago
• osresearch / safeboot-loader
  Linux kernel module to use UEFI Block IO Protocol devices. Probably not a good idea.
  ☆77Updated 3 years ago