yoppeh / efi
efi headers
☆35Updated 2 weeks ago
Related projects ⓘ
Alternatives and complementary repositories for efi
- Build UEFI applications with the Clang compiler and LLD linker.☆56Updated 7 months ago
- Very minimalistic UEFI boot menu / kernel bootloader☆27Updated last month
- Lightweight Intel gpu Library☆47Updated 3 weeks ago
- A UEFI 64bit Bootloader☆146Updated 3 years ago
- My gnu-efi development tree.☆71Updated 3 months ago
- The Keyronex Operating System☆77Updated 3 weeks ago
- hobby OS unix-clone☆35Updated 2 months ago
- The stivale boot protocols' specifications and headers.☆108Updated 2 years ago
- LAI is an interpreter for AML, the ACPI Machine Language.☆177Updated 8 months ago
- UEFI app to load ELF and Raw binary☆29Updated 9 years ago
- A modern x86/ARM bootloader supporting both BIOS and UEFI☆37Updated last month
- Fast and reasonably complete (framebuffer) terminal emulator.☆83Updated 2 weeks ago
- Rainbow OS☆56Updated 2 months ago
- A portable and easy-to-integrate implementation of the Advanced Configuration and Power Interface (ACPI)☆133Updated this week
- The Boron Operating System - an experimental SMP operating system inspired by a particular 1990s workstation OS☆41Updated last month
- Operating system written in C. Monolithic kernel design.☆29Updated last year
- Abandoned overcomplicated Microkernel using modern x86_64 features☆42Updated 4 years ago
- A work-in-progress hobby operating system.☆18Updated 4 years ago
- A UEFI Boot Loader Built in NASM☆39Updated 9 months ago
- UEFI ELF Bootloader example☆91Updated last year
- Modern OS Development wiki.☆61Updated last year
- Patches and build scripts to build a managarm distribution☆36Updated this week
- The mighty 64-bit kernel☆35Updated 3 weeks ago
- A hobby operating system for x86_64, boots with UEFI.☆69Updated 2 months ago
- aarch64 stivale2 bootloader☆51Updated last year
- Precompiled binaries of the libgcc GCC/clang runtime support library.☆10Updated 2 months ago
- uefi bootloader for x86 and x64☆8Updated 2 years ago
- ☆33Updated 3 weeks ago
- 64-bit UNIX hobby operating system with a UEFI bootloader☆74Updated this week
- UEFI headers☆17Updated 5 years ago