puzzleos / uefi-devLinks
QEMU/OVMF/SWTPM UEFI Secure Boot development environment
☆16Updated 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
- ☆27Updated 6 months ago
- Various UEFI utilities built against UDK2017. Includes X64 binaries.☆44Updated 4 years ago
- Various UEFI utilities built against UDK2018. Includes X64 binaries.☆106Updated 5 years ago
- UEFI Development Kit☆70Updated 10 years ago
- Docker container for building EDK2 UEFI Open Source reference implementation☆17Updated last year
- Various (U)EFI utilities that I have developed☆75Updated 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 9 years ago
- ☆35Updated 9 months ago
- SerialICE is a flexible, software based system software debugger☆36Updated 5 months ago
- Tutorial on making UEFI with CMake and VirtualBox/QEmu☆24Updated 8 years ago
- ☆67Updated 4 years ago
- UEFI toolkit package for development and collection, including UEFI Tools/Applications, Drivers and Libraries.☆36Updated 8 months ago
- Miscellaneous documents☆43Updated 3 months ago
- Leo Hypervisor. ARM64 Hypervisor on Raspberry Pi 4 machine.☆40Updated 3 years ago
- Linux kernel module to use UEFI Block IO Protocol devices. Probably not a good idea.☆86Updated 3 years ago
- Binary Configuration Tool for Intel(R) FSP☆73Updated 7 months ago
- Universal BIOS Recovery console for x86 PCs☆47Updated last year
- UEFI app to load ELF and Raw binary☆31Updated 10 years ago
- Python library package that supports UEFI development☆66Updated last month
- Linux tools for signed PE-COFF binaries☆124Updated last year
- UEFI boot loader☆80Updated 3 years ago
- Mirror of git.qemu.org/seabios.git☆72Updated 2 weeks ago
- Fork of jejb's efitools☆31Updated 5 years ago
- The UDK/EDK2/UEFI porting of the GNU's pciutils/lspci/setpci☆16Updated 4 months ago
- Suite of utilities for Linux on Power systems☆39Updated last month
- ARM64 version of Simple UEFI Bootloader☆31Updated 6 years ago
- TianoCore UEFI for OPAL/PowerNV (PPC64/PowerPC64 Little-Endian)☆21Updated 9 years ago
- Linux UEFI Validation Distribution☆118Updated 4 years ago
- Various useful utilities for UEFI☆149Updated last year