rhboot / gnu-efi
☆17Updated last month
Related projects: ⓘ
- For F@%k's sake - it's a MODULE!☆37Updated 8 years ago
- EDK II LKL Filesystem Driver☆13Updated 7 years ago
- Bare metal game using EDK2.☆12Updated last year
- UEFI Reference Specification Protocol Constants and Definitions☆37Updated 5 years ago
- Docker container for building EDK2 UEFI Open Source reference implementation☆16Updated last year
- Enables Intel PEP (Power Engine Plug-in) and adds support for DRIPS. (Hackindows?)☆10Updated 4 years ago
- UEFI, on Loongson.☆13Updated 8 years ago
- Various UEFI utilities built against UDK2017. Includes X64 binaries.☆43Updated 3 years ago
- Implementation guide for those using the _DSD method as defined in the ACPI specification☆20Updated 9 months ago
- ☆16Updated 3 years ago
- EDK II non-OSI licensed content☆61Updated 2 weeks ago
- Various UEFI utilities built against UDK2015☆38Updated 7 years ago
- Boot sector program for booting Intel's EDK Developer's UEFI Emulation (DUET) from hard disk with LBA.☆31Updated 13 years ago
- QEMU/OVMF/SWTPM UEFI Secure Boot development environment☆13Updated 2 years ago
- Mirror of the OpenFabrics NVMe Windows driver repository☆16Updated 7 years ago
- Tetris for UEFI☆29Updated 5 years ago
- UEFI read/write NTFS driver, based on ntfs-3g☆27Updated 3 years ago
- Sample firmware for UEFI-firmware parsing☆17Updated 5 years ago
- UEFI application package☆29Updated 8 years ago
- MUSL libc port for UEFI☆11Updated 6 years ago
- framework to simplify UEFI development with TianoCore EDK2☆18Updated 6 years ago
- EDK II BaseTools Python tools as a PIP module☆25Updated last month
- Repository to maintain and manage edk2 containers☆20Updated 3 months ago
- Dump WMI informations from ACPI tables☆34Updated 2 years ago
- Universal BIOS Recovery console for x86 PCs☆35Updated 4 months ago
- Samples of UEFI SmartCardReader API☆13Updated last year
- ☆15Updated 5 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…☆32Updated 7 years ago
- The UDK/EDK2/UEFI porting of the GNU's pciutils/lspci/setpci☆14Updated this week
- Documentation for 3D commands on Virgl3D☆25Updated 5 years ago