intel / kernelflingerLinks
☆72Updated 2 years ago
Alternatives and similar repositories for kernelflinger
Users that are interested in kernelflinger are comparing it to the libraries listed below
Sorting:
- ☆35Updated 9 months ago
- Emulating Exynos 4210 BootROM in QEMU☆77Updated 6 years ago
- Various (U)EFI utilities that I have developed☆75Updated 6 years ago
- ☆67Updated 4 years ago
- MFS and CFG file manipulation utility☆31Updated 5 years ago
- Python library package that supports UEFI development☆66Updated last month
- Various UEFI utilities built against UDK2015☆39Updated 8 years ago
- Linux UEFI Validation Distribution☆118Updated 4 years ago
- Binary Configuration Tool for Intel(R) FSP☆73Updated 7 months ago
- Crawl/download UEFI/BIOS updates from ISV/OEM distributors.☆79Updated 11 years ago
- Official QEMU mirror. Please see http://wiki.qemu.org/Contribute/SubmitAPatch for how to submit changes to QEMU. Pull Requests are ignore…☆25Updated this week
- uefi edk2 syntax highlighting☆12Updated 6 years ago
- ☆58Updated last year
- Tools and images for HiKey960☆55Updated 6 years ago
- Various useful utilities for UEFI☆149Updated last year
- UEFI OVMF symbol load script for GDB☆22Updated 3 years ago
- Viewer for IFR structures☆19Updated 5 years ago
- Official QEMU mirror☆30Updated 5 months ago
- Tool for working with AMD SMU☆54Updated 9 years 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…☆94Updated 4 years ago
- One-stop shop for UEFI/BIOS specifications/utilities by UEFI.Tech community☆101Updated 5 years ago
- Various UEFI utilities built against UDK2018. Includes X64 binaries.☆106Updated 5 years ago
- Open Source EDK2 GDB Server☆14Updated 7 years ago
- ☆49Updated 2 years ago
- Miscellaneous documents☆43Updated 3 months ago
- Dump WMI informations from ACPI tables☆38Updated 4 years ago
- Docker container for building EDK2 UEFI Open Source reference implementation☆17Updated last year
- Extract Module.symvers info from a binary kernel☆50Updated 10 years ago
- Device Tree-based Platform Device Driver Development for Tiano UEFI☆16Updated 4 months ago
- UEFI Development Kit☆70Updated 10 years ago