pftf / RPi3Links
Raspberry Pi 3 UEFI Firmware Images
☆285Updated last year
Alternatives and similar repositories for RPi3
Users that are interested in RPi3 are comparing it to the libraries listed below
Sorting:
- Raspberry Pi 4 UEFI Firmware Images☆1,270Updated last week
- ☆228Updated 4 months ago
- EDK II sample platform branches and tags☆591Updated this week
- Debian OS builder☆586Updated last month
- Build an Linux OS based image☆245Updated last week
- EFI FileSystem drivers☆558Updated 6 months ago
- EDK2 UEFI for Rockchip RK3566 and RK3568 based SBCs.☆178Updated last year
- Extract embedded VBIOS from (almost) any BIOS Update. the hail-mary way☆145Updated last year
- Make customized Alpine Linux rootfs (base image) for containers☆231Updated 4 months ago
- ☆192Updated last month
- Go-based tools for modifying UEFI firmware☆321Updated 4 months ago
- EDK2 firmware images for Raspberry Pi 5☆393Updated 3 months ago
- ☆92Updated 7 months ago
- Tools and libraries to work with EFI variables☆253Updated 9 months ago
- Uefi Rockchip Rk3399Pkg☆71Updated 4 years ago
- Secure-Launch implementation for Qualcomm devices☆82Updated 3 months ago
- Visit http://slimbootloader.github.io for documentation☆399Updated last week
- SCP (power management) firmware for sunxi SoCs☆161Updated 2 months ago
- Linux kernel module to use UEFI Block IO Protocol devices. Probably not a good idea.☆79Updated 3 years ago
- wip 3/4 stuff☆14Updated 4 years ago
- Debian image builder for single board computers☆154Updated this week
- Automated weekly build of the default branch 64-bit bcm2711_defconfig Linux kernel for the Raspberry Pi 4☆25Updated 4 years ago
- UEFI shim loader☆948Updated 2 weeks ago
- Intel(R) Firmware Support Package (FSP)☆310Updated 3 weeks ago
- Script to generate an OVMF vars file with default secure boot key enrolled.☆90Updated 2 years ago
- Linux kernel with experimental patches for Tegra☆79Updated last year
- Unofficial Archlinux port to powerpc64le, powerpc64 and powerpc☆96Updated this week
- Kexecboot is a nice Linux-As-a-Bootloader implementation based on kexec☆118Updated last month
- Automated weekly build of the default branch 64-bit bcm2711_defconfig (+ tweaks) Linux kernel for the RPi4☆39Updated 4 years ago
- Unofficial Debian installer for Pinebook Pro☆86Updated 4 years ago