ardbiesheuvel / X86EmulatorPkg
☆66Updated 3 years ago
Alternatives and similar repositories for X86EmulatorPkg:
Users that are interested in X86EmulatorPkg are comparing it to the libraries listed below
- Multi-Architecture UEFI Environment Driver☆56Updated last month
- PDFs of all the UEFI / EDK II presentations☆58Updated 2 years ago
- Documentation and status of UEFI on RISC-V☆57Updated 3 years ago
- ☆52Updated 3 months ago
- Miscellaneous documents☆41Updated 2 months ago
- Device Tree-based Platform Device Driver Development for Tiano UEFI☆12Updated 6 months ago
- ARM Enterprise: SBSA Architecture Compliance Suite☆91Updated last week
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆24Updated 3 years ago
- Docker container for building EDK2 UEFI Open Source reference implementation☆16Updated 6 months ago
- Python library package that supports UEFI development☆58Updated this week
- Port of libc to EDK II with applications that depend on libc☆114Updated 2 months ago
- The VSCode plugin of EDKII file association.☆33Updated last year
- Documentation☆36Updated last month
- Various UEFI utilities built against UDK2017. Includes X64 binaries.☆44Updated 4 years ago
- EDK II non-OSI licensed content☆69Updated 2 months ago
- A network interface for GDB for Linux Kernel☆68Updated last year
- Binary Configuration Tool for Intel(R) FSP☆70Updated 8 months ago
- The RV BRS test suite checks for compliance against the RVI Boot and Runtime Service specification.☆11Updated 9 months ago
- Archive of old branches for EDK II☆33Updated 6 years ago
- EDK II Driver Writer's Guide for development of UEFI Drivers☆71Updated this week
- TianoCore UEFI for OPAL/PowerNV (PPC64/PowerPC64 Little-Endian)☆20Updated 8 years ago
- Test infrastructure and test cases for EDK II based firmware☆85Updated this week
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆18Updated 3 years ago
- The tool fwts comprises of over fifty tests that are designed to exercise and test different aspects of a machine's firmware.☆33Updated 2 weeks ago
- Uefi Rockchip Rk3399Pkg☆28Updated 7 years ago
- A EDK2 Package that supplies a UEFI driver that will bind on top of Graphics Output Devices and rotate any Blt operations by 0, 90, 180 o…☆17Updated 3 years ago
- Table of Contents and suggested course Schedule for UEFI / Edk II training☆84Updated 3 years ago
- ☆21Updated 2 years ago
- The Captive Hypervisor☆42Updated 2 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…☆35Updated 8 years ago