pftf / RPi3Links
Raspberry Pi 3 UEFI Firmware Images
☆294Updated 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,310Updated 2 weeks ago
- Open source VPU side bootloader for Raspberry Pi.☆444Updated 2 months ago
- EDK2 UEFI for Rockchip RK3566 and RK3568 based SBCs.☆191Updated last year
- Build an Linux OS based image☆252Updated last month
- EFI FileSystem drivers☆587Updated 10 months ago
- ☆240Updated 2 months ago
- Extract embedded VBIOS from (almost) any BIOS Update. the hail-mary way☆147Updated last year
- EDK2 firmware images for Raspberry Pi 5☆418Updated 8 months ago
- Debian OS builder☆641Updated last week
- mounts an overlay file system over root☆189Updated 4 years ago
- EDK II sample platform branches and tags☆613Updated this week
- Make customized Alpine Linux rootfs (base image) for containers☆251Updated 9 months ago
- iPXE for the Raspberry Pi☆206Updated last year
- Uefi Rockchip Rk3399Pkg☆72Updated 4 years ago
- SCP (power management) firmware for sunxi SoCs☆163Updated 7 months ago
- Linux kernel with experimental patches for Tegra☆82Updated 2 years ago
- ☆193Updated 3 weeks ago
- Scripts to build bootable SD card images with Debian for various single-board computers☆229Updated last week
- ☆171Updated last year
- Linux kernel module to use UEFI Block IO Protocol devices. Probably not a good idea.☆85Updated 3 years ago
- ☆293Updated this week
- Linux kernel source tree☆48Updated last month
- Script to generate an OVMF vars file with default secure boot key enrolled.☆93Updated 3 years ago
- Tools and libraries to work with EFI variables☆263Updated 4 months ago
- GUD USB Display☆175Updated last year
- Extensible tool to build Arch Linux ARM for Raspberry Pi on x86_64 host using Docker☆106Updated 2 weeks ago
- Reviews of shim☆79Updated last month
- Debian image builder for single board computers☆158Updated 2 weeks ago
- Automated weekly build of the default branch 64-bit bcmrpi3_defconfig Linux kernel for the Raspberry Pi 3 model B and B+☆40Updated 5 years ago
- Hacking DDR Memory Serial Presence Detect☆41Updated 7 years ago