pftf / RPi3Links
Raspberry Pi 3 UEFI Firmware Images
☆285Updated 2 years ago
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,285Updated 3 weeks ago
- Open source VPU side bootloader for Raspberry Pi.☆437Updated last month
- iPXE for the Raspberry Pi☆199Updated last year
- EDK II sample platform branches and tags☆597Updated this week
- ☆230Updated 5 months ago
- EDK2 UEFI for Rockchip RK3566 and RK3568 based SBCs.☆179Updated last year
- Build an Linux OS based image☆245Updated this week
- EFI FileSystem drivers☆568Updated 6 months ago
- Uefi Rockchip Rk3399Pkg☆71Updated 4 years ago
- Linux kernel with experimental patches for Tegra☆79Updated last year
- Extract embedded VBIOS from (almost) any BIOS Update. the hail-mary way☆145Updated last year
- EDK2 firmware images for Raspberry Pi 5☆396Updated 4 months ago
- Script to generate an OVMF vars file with default secure boot key enrolled.☆91Updated 2 years ago
- Make customized Alpine Linux rootfs (base image) for containers☆234Updated 5 months ago
- Reviews of shim☆74Updated 3 weeks ago
- Debian OS builder☆593Updated 2 weeks ago
- A new set of tools and libraries for working with SquashFS images☆219Updated 8 months ago
- ☆191Updated last month
- A guide for fully setting up the SolidRun LX2K with novice users in mind.☆72Updated last year
- Secure-Launch implementation for Qualcomm devices☆82Updated this week
- Debian image builder for single board computers☆155Updated this week
- Scripts to build bootable SD card images with Debian for various single-board computers☆200Updated this week
- SCP (power management) firmware for sunxi SoCs☆162Updated 3 months ago
- Go-based tools for modifying UEFI firmware☆325Updated 5 months ago
- Kexecboot is a nice Linux-As-a-Bootloader implementation based on kexec☆118Updated last month
- Visit http://slimbootloader.github.io for documentation☆405Updated this week
- ☆285Updated 2 months ago
- Firmware loader for Renesas uPD72020x USB 3.0 chipsets for Linux☆78Updated 3 months ago
- Unofficial EDK2 nightly build☆68Updated this week
- Tools and libraries to work with EFI variables☆255Updated 10 months ago