ardbiesheuvel / X86EmulatorPkgLinks
☆69Updated 3 years ago
Alternatives and similar repositories for X86EmulatorPkg
Users that are interested in X86EmulatorPkg are comparing it to the libraries listed below
Sorting:
- Multi-Architecture UEFI Environment Driver☆59Updated 7 months ago
- Documentation and status of UEFI on RISC-V☆63Updated 4 years ago
- PDFs of all the UEFI / EDK II presentations☆60Updated 2 years ago
- Miscellaneous documents☆41Updated 2 months ago
- ☆56Updated 8 months ago
- Device Tree-based Platform Device Driver Development for Tiano UEFI☆14Updated last month
- Docker container for building EDK2 UEFI Open Source reference implementation☆16Updated 11 months ago
- Python library package that supports UEFI development☆65Updated last week
- Port of libc to EDK II with applications that depend on libc☆122Updated 4 months ago
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆25Updated 3 years ago
- The VSCode plugin of EDKII file association.☆32Updated 2 years ago
- Project Mu Microsoft Core UEFI Value☆249Updated this week
- Various UEFI utilities built against UDK2017. Includes X64 binaries.☆45Updated 4 years ago
- Various UEFI utilities built against UDK2018. Includes X64 binaries.☆107Updated 4 years ago
- A simple 64bit UEFI application of Hello World! without using any UEFI toolkit.☆114Updated last year
- One-stop shop for UEFI/BIOS specifications/utilities by UEFI.Tech community☆99Updated 5 years ago
- ARM Enterprise: SBSA Architecture Compliance Suite☆91Updated 2 months ago
- Intel(R) Firmware Support Package (FSP)☆320Updated last month
- zhenghuadai.github.io☆160Updated 4 years ago
- Various useful utilities for UEFI☆143Updated last year
- TianoCore UEFI for OPAL/PowerNV (PPC64/PowerPC64 Little-Endian)☆21Updated 9 years ago
- Project Mu BaseCore☆276Updated this week
- UEFI OVMF symbol load script for GDB☆22Updated 3 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
- Creating a custom PCI device in QEMU and a module for it in the Linux kernel.☆96Updated 11 years ago
- Various (U)EFI utilities that I have developed☆74Updated 6 years ago
- Unofficial EDK2 nightly build☆80Updated 2 months ago
- UEFI Reference Specification Protocol Constants and Definitions☆40Updated 6 years ago
- Binary Configuration Tool for Intel(R) FSP☆73Updated 3 months ago
- ☆20Updated 2 years ago