ardbiesheuvel / X86EmulatorPkg
☆65Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for X86EmulatorPkg
- Multi-Architecture UEFI Environment Driver☆53Updated 3 months ago
- PDFs of all the UEFI / EDK II presentations☆53Updated last year
- Miscellaneous documents☆39Updated last month
- Port of libc to EDK II with applications that depend on libc☆99Updated last month
- Python library package that supports UEFI development☆57Updated this week
- ☆51Updated 2 years ago
- Device Tree-based Platform Device Driver Development for Tiano UEFI☆12Updated last month
- Documentation and status of UEFI on RISC-V☆53Updated 3 years ago
- ARM Enterprise: SBSA Architecture Compliance Suite☆87Updated this week
- ☆32Updated last month
- The VSCode plugin of EDKII file association.☆32Updated last year
- The RV BRS test suite checks for compliance against the RVI Boot and Runtime Service specification.☆10Updated 4 months 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…☆33Updated 7 years ago
- A network interface for GDB for Linux Kernel☆63Updated last year
- EDK II non-OSI licensed content☆62Updated 2 weeks ago
- 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.☆26Updated this week
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆22Updated 2 years ago
- Various UEFI utilities built against UDK2017. Includes X64 binaries.☆44Updated 3 years ago
- Docker container for building EDK2 UEFI Open Source reference implementation☆16Updated 3 weeks ago
- ☆68Updated 9 months ago
- Project Mu Microsoft Core UEFI Value☆215Updated last week
- Documentation for Tianocore.org for EDK II☆34Updated 6 years ago
- Various UEFI utilities built against UDK2018. Includes X64 binaries.☆100Updated 4 years ago
- Various useful utilities for UEFI☆125Updated 6 months ago
- Test infrastructure and test cases for EDK II based firmware☆77Updated 2 weeks ago
- EDK II Driver Writer's Guide for development of UEFI Drivers☆63Updated 3 years ago
- Uefi Rockchip Rk3399Pkg☆27Updated 7 years ago
- Binary Configuration Tool for Intel(R) FSP☆67Updated 3 months ago
- zhenghuadai.github.io☆147Updated 3 years ago