travisg / uefi
uefi app/bootloader development sandbox
☆15Updated 8 years ago
Alternatives and similar repositories for uefi:
Users that are interested in uefi are comparing it to the libraries listed below
- UEFI, on Loongson.☆14Updated 8 years ago
- MUSL libc port for UEFI☆11Updated 7 years ago
- UEFI app to load ELF and Raw binary☆29Updated 9 years ago
- My tinycc fork: hopefully, better OSX support, EFI targets, and ???☆33Updated 7 years ago
- EDK II LKL Filesystem Driver☆13Updated 7 years ago
- A minimal 64-bit operating system for x86-64☆9Updated 10 months ago
- trivial UEFI bootloader app☆7Updated 9 years ago
- UEFI boot loader☆78Updated 2 years ago
- Portable C Compiler (CVS mirror)☆11Updated 12 years ago
- Self-contained minimal example of building an EFI app (under 64 bit Linux atm) without external build dependencies.☆58Updated 3 years ago
- LLVM based assembler for x86, Arm, Mips, PowerPC, Sparc and SystemZ (Rust API)☆19Updated 8 years ago
- Boot Loader with UEFI☆10Updated 9 years ago
- Mirror of git.qemu.org/vgabios.git☆25Updated 7 years ago
- Toy Operating System☆11Updated 8 years ago
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆23Updated 3 years ago
- GNU-EFI fork with fixes and improvements.☆28Updated 2 weeks ago
- Simple (green) threads for UEFI☆23Updated 7 years ago
- My gnu-efi development tree.☆71Updated 5 months ago
- The next generation Toddler, a well designed usable and portable microkernel OS☆15Updated 3 years ago
- x86-64 SMP enabled microkernel hobbyist OS☆24Updated 8 years ago
- K42 Kernel☆24Updated 12 years ago
- Metta OS☆68Updated 2 months ago
- A hobby operating system for x86_64, boots with UEFI.☆68Updated 4 months ago
- EFI Byte Code Virtual Machine in userspace☆77Updated last year
- A UEFI Boot Loader Built in NASM☆41Updated 11 months ago
- Bare metal game using EDK2.☆12Updated last year
- 32bit OS/kernel built from scratch with POSIX.1 compliance☆29Updated 4 years ago
- ARM64 version of Simple UEFI Bootloader☆21Updated 5 years ago
- Hello RISC-V 64!☆17Updated 6 years ago
- my homebrew OS☆32Updated 4 years ago