mfleming / efilinux
UEFI boot loader
☆78Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for efilinux
- My gnu-efi development tree.☆70Updated 3 months ago
- Self-contained minimal example of building an EFI app (under 64 bit Linux atm) without external build dependencies.☆58Updated 3 years ago
- UEFI Reference Specification Protocol Constants and Definitions☆38Updated 5 years ago
- uefi app/bootloader development sandbox☆15Updated 8 years ago
- Build UEFI applications with the Clang compiler and LLD linker.☆56Updated 7 months ago
- Pedigree operating system☆89Updated 8 years ago
- UEFI, on Loongson.☆13Updated 8 years ago
- UEFI app to load ELF and Raw binary☆29Updated 9 years ago
- OpenMach operating system☆81Updated 9 years ago
- Mach 3☆44Updated 13 years ago
- Calcium OS project for x86_64☆37Updated 7 years ago
- A simple 64bit UEFI application of Hello World! without using any UEFI toolkit.☆101Updated 5 months ago
- The core components of the L4Re operating system.☆76Updated 2 weeks ago
- Acess2 Hobby Operating System☆84Updated last year
- A tool to execute an elf binary in the UEFI shell environment.☆10Updated 8 years ago
- oskit code from Fluke OS project at University of Utah☆32Updated last year
- An exokernel for the raspberry pi 3.☆79Updated 3 years ago
- UEFI application package☆29Updated 8 years ago
- My tinycc fork: hopefully, better OSX support, EFI targets, and ???☆31Updated 7 years ago
- Utility for accessing a disk formatted with BMFS☆50Updated 2 months ago
- A hobby operating system for x86_64, boots with UEFI.☆69Updated 3 months ago
- Mirror of git.qemu.org/openbios.git☆20Updated 2 months ago
- My experimental bare metal OS for the raspberry pi☆45Updated 10 years ago
- Mirror of git.qemu.org/seabios.git☆57Updated last year
- Operating System☆132Updated 2 years ago
- A 64-bit SMP-safe kernel for the PC architecture.☆82Updated 6 years ago
- Codezero Microkernel☆105Updated 2 years ago