ncroxon / gnu-efi
Develop EFI applications for ARM-64, ARM-32, x86_64, IA-64 (IPF), IA-32 (x86), and MIPS platforms using the GNU toolchain and the EFI development environment.
☆68Updated 3 weeks ago
Alternatives and similar repositories for gnu-efi:
Users that are interested in gnu-efi are comparing it to the libraries listed below
- efi headers☆55Updated 3 months ago
- Unofficial EDK2 nightly build☆61Updated this week
- UEFI ELF Bootloader example☆95Updated 2 weeks ago
- A modern x86/ARM bootloader supporting both BIOS and UEFI☆41Updated 4 months ago
- UEFI app to load ELF and Raw binary☆29Updated 9 years ago
- A UEFI bootloader for bare-metal x86-64 applications☆43Updated 2 years ago
- Very minimalistic UEFI boot menu / kernel bootloader☆28Updated 4 months ago
- UEFI Reference Specification Protocol Constants and Definitions☆39Updated 6 years ago
- Run UEFI applications☆83Updated last year
- Multi-Architecture UEFI Environment Driver☆56Updated 2 months ago
- Rainbow OS☆57Updated last week
- GNU-EFI fork with fixes and improvements.☆30Updated last month
- ☆29Updated this week
- The Boron Operating System - an experimental SMP operating system inspired by a particular 1990s workstation OS☆45Updated 4 months ago
- ☆20Updated this week
- My gnu-efi development tree.☆72Updated last week
- Port of libc to EDK II with applications that depend on libc☆111Updated last week
- Tetris for UEFI☆30Updated 5 years ago
- EFI Application used by uefi-capsule plugin in fwupd☆45Updated last week
- The tool to read/get/extract and write/change/modify BIOS/UEFI settings from Linux terminal.☆50Updated 2 months ago
- A multiboot-compliant Executable and Linking Format (ELF) bootloader for the x86 architecture.☆12Updated 2 years ago
- A simple 64bit UEFI application of Hello World! without using any UEFI toolkit.☆105Updated 8 months ago
- EFI Byte Code Virtual Machine in userspace☆77Updated 2 years ago
- Test infrastructure and test cases for EDK II based firmware☆84Updated this week
- Portable DRM-compatible device drivers for GPUs☆17Updated last month
- Bare metal game using EDK2.☆12Updated 2 years ago
- The x86_64 UEFI bootloader for rCore☆43Updated 2 years ago
- EDK II Driver Writer's Guide for development of UEFI Drivers☆65Updated 3 years ago
- ARM64 version of Simple UEFI Bootloader☆22Updated 5 years ago
- ☆51Updated 3 weeks ago