puzzleos / uefi-devLinks
QEMU/OVMF/SWTPM UEFI Secure Boot development environment
☆15Updated 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
- Various UEFI utilities built against UDK2018. Includes X64 binaries.☆107Updated 5 years ago
- Various (U)EFI utilities that I have developed☆74Updated 6 years ago
- ARM64 version of Simple UEFI Bootloader☆28Updated 6 years ago
- UEFI toolkit package for development and collection, including UEFI Tools/Applications, Drivers and Libraries.☆33Updated 5 months ago
- Miscellaneous documents☆41Updated last month
- Various UEFI utilities built against UDK2017. Includes X64 binaries.☆45Updated 4 years ago
- ☆27Updated 4 months ago
- Docker container for building EDK2 UEFI Open Source reference implementation☆17Updated last year
- 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
- PDF files of my articles on NSA BIOS backdoor☆22Updated 8 years ago
- Various useful utilities for UEFI☆147Updated last year
- Quick Boot: A Guide for Embedded Firmware Developers, 2nd Edition☆14Updated 5 years ago
- Python library package that supports UEFI development☆66Updated last week
- Binary Configuration Tool for Intel(R) FSP☆73Updated 5 months ago
- Port of libc to EDK II with applications that depend on libc☆122Updated 5 months ago
- Various UEFI utilities built against UDK2015☆38Updated 8 years ago
- UEFI Development Kit☆68Updated 9 years ago
- Archive of old branches for EDK II☆33Updated 7 years ago
- Fork of jejb's efitools☆31Updated 5 years ago
- TianoCore UEFI for OPAL/PowerNV (PPC64/PowerPC64 Little-Endian)☆21Updated 9 years ago
- Firmware related resources☆33Updated 3 months ago
- UEFI app to load ELF and Raw binary☆30Updated 10 years ago
- MFS and CFG file manipulation utility☆30Updated 5 years ago
- Leo Hypervisor. ARM64 Hypervisor on Raspberry Pi 4 machine.☆39Updated 3 years ago
- Administrator : Marshall.Dawson@amd.com☆55Updated last week
- SerialICE is a flexible, software based system software debugger☆36Updated 3 months ago
- EDK II new feature staging☆170Updated this week
- Sample firmware for UEFI-firmware parsing☆18Updated 7 years ago
- Dump WMI informations from ACPI tables☆38Updated 4 years ago