intel / kernelflinger
☆69Updated last year
Alternatives and similar repositories for kernelflinger:
Users that are interested in kernelflinger are comparing it to the libraries listed below
- ☆31Updated last year
- Binary Configuration Tool for Intel(R) FSP☆70Updated 8 months ago
- uefi edk2 syntax highlighting☆12Updated 6 years ago
- ☆14Updated 2 years ago
- Various (U)EFI utilities that I have developed☆72Updated 6 years ago
- Crawl/download UEFI/BIOS updates from ISV/OEM distributors.☆73Updated 10 years ago
- TianoCore UEFI for OPAL/PowerNV (PPC64/PowerPC64 Little-Endian)☆20Updated 8 years ago
- Emulating Exynos 4210 BootROM in QEMU☆72Updated 5 years ago
- Python library package that supports UEFI development☆58Updated this week
- Miscellaneous documents☆41Updated 2 months ago
- UEFI OVMF symbol load script for GDB☆22Updated 2 years ago
- ☆52Updated 3 months ago
- USB-Cereal is a debugging and development tool for designs that use USB-C port and bring out serial TX/RX lines into SBU1/2 pins. USB-Cer…☆82Updated 3 years ago
- MFS and CFG file manipulation utility☆28Updated 5 years ago
- Tool for working with AMD SMU☆49Updated 8 years ago
- Linux UEFI Validation Distribution☆115Updated 4 years ago
- Documentation for Tianocore.org for EDK II☆35Updated this week
- Docker container for building EDK2 UEFI Open Source reference implementation☆16Updated 6 months ago
- TPM 2.0 tools running in EFI environment☆23Updated 6 years ago
- Various UEFI utilities built against UDK2017. Includes X64 binaries.☆44Updated 4 years ago
- An EFI image parser and dissector☆50Updated 12 years ago
- ☆66Updated 3 years ago
- Secure EFI Loader designed to authenticate the non-PE files☆48Updated 2 years ago
- Not useful yet. Attempt to port EDK2.☆33Updated 6 years ago
- Sample firmware for UEFI-firmware parsing☆18Updated 6 years ago
- Various useful utilities for UEFI☆133Updated 11 months ago
- PDFs of all the UEFI / EDK II presentations☆58Updated 2 years ago
- Various UEFI utilities built against UDK2015☆38Updated 8 years ago
- Dump WMI informations from ACPI tables☆36Updated 3 years ago
- EDK II non-OSI licensed content☆68Updated 2 months ago