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:
- Leo Hypervisor. ARM64 Hypervisor on Raspberry Pi 4 machine.☆39Updated 3 years ago
- Docker container for building EDK2 UEFI Open Source reference implementation☆17Updated last year
- ☆67Updated 3 years ago
- Various (U)EFI utilities that I have developed☆75Updated 6 years ago
- Various UEFI utilities built against UDK2018. Includes X64 binaries.☆106Updated 5 years ago
- ☆34Updated 8 months ago
- Universal BIOS Recovery console for x86 PCs☆47Updated last year
- Python library package that supports UEFI development☆66Updated last month
- Various UEFI utilities built against UDK2017. Includes X64 binaries.☆44Updated 4 years ago
- Various useful utilities for UEFI☆148Updated last year
- PDF files of my articles on NSA BIOS backdoor☆24Updated 8 years ago
- ☆72Updated last year
- Mirror of git.qemu.org/seabios.git☆72Updated 4 months ago
- ☆27Updated 5 months ago
- ARM64 version of Simple UEFI Bootloader☆31Updated 6 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
- Firmware related resources☆33Updated 4 months ago
- UEFI toolkit package for development and collection, including UEFI Tools/Applications, Drivers and Libraries.☆35Updated 7 months ago
- SerialICE is a flexible, software based system software debugger☆36Updated 4 months ago
- PDFs of all the UEFI / EDK II presentations☆60Updated 3 years ago
- Miscellaneous documents☆42Updated 2 months ago
- Collect ACPI table dumps☆38Updated last year
- Xvisor: eXtensible Versatile hypervISOR☆89Updated last week
- Various UEFI utilities built against UDK2015☆38Updated 8 years ago
- UEFI Development Kit☆70Updated 10 years ago
- A UEFI bootloader for bare-metal x86-64 applications☆61Updated 2 months ago
- Linux UEFI Validation Distribution☆119Updated 4 years ago
- ☆23Updated this week
- Binary Configuration Tool for Intel(R) FSP☆73Updated 6 months ago
- Dump WMI informations from ACPI tables☆38Updated 4 years ago