puzzleos / uefi-devLinks
QEMU/OVMF/SWTPM UEFI Secure Boot development environment
☆14Updated 3 years ago
Alternatives and similar repositories for uefi-dev
Users that are interested in uefi-dev are comparing it to the libraries listed below
Sorting:
- PDFs of all the UEFI / EDK II presentations☆60Updated 3 years ago
- Leo Hypervisor. ARM64 Hypervisor on Raspberry Pi 4 machine.☆39Updated 3 years ago
- UEFI toolkit package for development and collection, including UEFI Tools/Applications, Drivers and Libraries.☆35Updated 6 months ago
- Various UEFI utilities built against UDK2017. Includes X64 binaries.☆45Updated 4 years ago
- ☆67Updated 3 years ago
- Python library package that supports UEFI development☆66Updated 2 weeks ago
- SerialICE is a flexible, software based system software debugger☆36Updated 4 months ago
- Linux kernel module to use UEFI Block IO Protocol devices. Probably not a good idea.☆85Updated 3 years ago
- Miscellaneous documents☆42Updated last month
- Various (U)EFI utilities that I have developed☆75Updated 6 years ago
- Universal BIOS Recovery console for x86 PCs☆47Updated last year
- Binary Configuration Tool for Intel(R) FSP☆73Updated 5 months ago
- Firmware related resources☆33Updated 4 months ago
- Various UEFI utilities built against UDK2018. Includes X64 binaries.☆107Updated 5 years ago
- Docker container for building EDK2 UEFI Open Source reference implementation☆17Updated last year
- ☆23Updated 2 weeks ago
- Various useful utilities for UEFI☆147Updated last year
- PDF files of my articles on NSA BIOS backdoor☆23Updated 8 years ago
- ☆27Updated 5 months ago
- TianoCore UEFI for OPAL/PowerNV (PPC64/PowerPC64 Little-Endian)☆21Updated 9 years ago
- Various UEFI utilities built against UDK2015☆38Updated 8 years ago
- ☆72Updated last year
- Quick Boot: A Guide for Embedded Firmware Developers, 2nd Edition☆14Updated 5 years ago
- Archive of old branches for EDK II☆33Updated 7 years ago
- Dump WMI informations from ACPI tables☆38Updated 4 years ago
- MFS and CFG file manipulation utility☆31Updated 5 years ago
- framework to simplify UEFI development with TianoCore EDK2☆18Updated 7 years ago
- ☆58Updated 10 months ago
- One-stop shop for UEFI/BIOS specifications/utilities by UEFI.Tech community☆101Updated 5 years ago
- Two stage x86 boot loader and preliminary kernel code which are combined into single binary file to be flashed to PCI expansion card with…☆36Updated 8 years ago