ardbiesheuvel / X86EmulatorPkg
☆65Updated 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 2 months ago
- PDFs of all the UEFI / EDK II presentations☆55Updated 2 years ago
- ☆51Updated 3 weeks ago
- Miscellaneous documents☆41Updated last week
- Documentation and status of UEFI on RISC-V☆55Updated 3 years ago
- ARM Enterprise: SBSA Architecture Compliance Suite☆90Updated last week
- EDK II non-OSI licensed content☆64Updated last week
- Device Tree-based Platform Device Driver Development for Tiano UEFI☆12Updated 4 months ago
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆24Updated 3 years ago
- Port of libc to EDK II with applications that depend on libc☆111Updated last week
- Python library package that supports UEFI development☆56Updated this week
- Documentation☆36Updated 2 weeks ago
- UEFI, on Loongson.☆14Updated 8 years ago
- The tool fwts comprises of over fifty tests that are designed to exercise and test different aspects of a machine's firmware.☆29Updated last month
- Uefi Rockchip Rk3399Pkg☆27Updated 7 years ago
- TianoCore UEFI for OPAL/PowerNV (PPC64/PowerPC64 Little-Endian)☆19Updated 8 years ago
- Linux kernel module to use UEFI Block IO Protocol devices. Probably not a good idea.☆77Updated 2 years ago
- Various UEFI utilities built against UDK2017. Includes X64 binaries.☆44Updated 3 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…☆16Updated 2 years ago
- A network interface for GDB for Linux Kernel☆66Updated last year
- EDK II Driver Writer's Guide for development of UEFI Drivers☆65Updated 3 years ago
- The VSCode plugin of EDKII file association.☆32Updated last year
- Docker container for building EDK2 UEFI Open Source reference implementation☆16Updated 3 months ago
- Uefi Rockchip Rk3399Pkg☆71Updated 4 years ago
- Various UEFI utilities built against UDK2018. Includes X64 binaries.☆101Updated 4 years ago
- Test infrastructure and test cases for EDK II based firmware☆84Updated this week
- UEFI OVMF symbol load script for GDB☆22Updated 2 years ago
- Documentation for Tianocore.org for EDK II☆35Updated 6 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
- The RV BRS test suite checks for compliance against the RVI Boot and Runtime Service specification.☆10Updated 7 months ago