mfleming / efilinux
UEFI boot loader
☆79Updated 2 years ago
Alternatives and similar repositories for efilinux:
Users that are interested in efilinux are comparing it to the libraries listed below
- Self-contained minimal example of building an EFI app (under 64 bit Linux atm) without external build dependencies.☆60Updated 3 years ago
- UEFI Reference Specification Protocol Constants and Definitions☆39Updated 6 years ago
- uefi app/bootloader development sandbox☆15Updated 8 years ago
- My gnu-efi development tree.☆72Updated last month
- Mirror of git.qemu.org/openbios.git☆22Updated 6 months ago
- UEFI app to load ELF and Raw binary☆29Updated 9 years ago
- UEFI, on Loongson.☆14Updated 8 years ago
- My tinycc fork: hopefully, better OSX support, EFI targets, and ???☆34Updated 7 years ago
- Pedigree operating system☆89Updated 8 years ago
- Fast and lightweight yet another UEFI implementation☆99Updated 2 years ago
- Acess2 Hobby Operating System☆86Updated last year
- Build UEFI applications with the Clang compiler and LLD linker.☆58Updated 11 months ago
- http://www.memtest.org☆54Updated 9 years ago
- Metta OS☆69Updated 4 months ago
- Collect ACPI table dumps☆28Updated 2 months ago
- DISCONTINUATION OF PROJECT. This project will no longer be maintained by Intel. Intel will not provide or guarantee development of or s…☆35Updated 2 years ago
- Modular kernel built for simplicity☆91Updated 7 years ago
- EDK II LKL Filesystem Driver☆13Updated 8 years ago
- A minimal experimental microkernel☆24Updated 10 months ago
- Slimline Open Firware - an implementation of IEEE1275 Open Firmware for some POWER ISA systems☆36Updated 4 months ago
- Shell script to build gcc for various architectures☆79Updated 7 months ago
- a screen snapshot application under UEFI☆10Updated 11 years ago
- Operating system project☆33Updated last month
- my homebrew OS☆33Updated 4 years ago
- RTOS based on L4 microkernel.☆17Updated 6 years ago
- A simple 64bit UEFI application of Hello World! without using any UEFI toolkit.☆107Updated 10 months ago
- MUSL libc port for UEFI☆11Updated 7 years ago
- UEFI application package☆29Updated 9 years ago
- An exokernel for the raspberry pi 3.☆80Updated 3 years ago
- OpenMach operating system☆85Updated 10 years ago