travisg / uefiLinks
uefi app/bootloader development sandbox
☆15Updated 9 years ago
Alternatives and similar repositories for uefi
Users that are interested in uefi are comparing it to the libraries listed below
Sorting:
- Multi-architecture hobby operating system created in C☆16Updated 3 months ago
- MUSL libc port for UEFI☆11Updated 7 years ago
- UEFI app to load ELF and Raw binary☆30Updated 10 years ago
- nebulae kernel - stage 0 uefi barebones☆35Updated last year
- UEFI boot loader☆80Updated 3 years ago
- UEFI, on Loongson.☆14Updated 9 years ago
- UEFI Reference Specification Protocol Constants and Definitions☆40Updated 6 years ago
- Tiny Operating System supporting: SVGA gui, Grub bootloader, network subsystem, CDROM drivers.☆34Updated 12 years ago
- Metta OS☆70Updated 9 months ago
- Portable C Compiler (CVS mirror)☆12Updated 13 years ago
- K42 Kernel☆29Updated 13 years ago
- My tinycc fork: hopefully, better OSX support, EFI targets, and ???☆34Updated 7 years ago
- Shell script to build gcc for various architectures☆81Updated 2 weeks ago
- Libelf is a simple library to read ELF files.☆54Updated 3 years ago
- gelfload is Gregor's ELF loader. It is a usermode loader for ELF executables, used for two purposes: 1) Creating ELF environments on othe…☆39Updated 11 years ago
- A UNIX-like OS targeting AMD64 compatible processors☆16Updated 3 years ago
- Moved to codeberg: https://codeberg.org/osdev/nyu-efi☆31Updated 4 months ago
- EDK II LKL Filesystem Driver☆13Updated 8 years ago
- Self-contained minimal example of building an EFI app (under 64 bit Linux atm) without external build dependencies.☆60Updated 4 years ago
- An x86 real mode multiboot-ish ELF bootloader☆26Updated 6 years ago
- ☆19Updated 10 years ago
- Toy Operating System☆11Updated 9 years ago
- A guide to hobbyist operating systems☆60Updated 6 years ago
- Operating system designed to be fast and secure.☆21Updated 8 years ago
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆24Updated 3 years ago
- Calcium OS project for x86_64☆40Updated 7 years ago
- Basic tools for building seL4 projects☆49Updated last week
- ☆33Updated last year
- LK embedded kernel☆26Updated 6 months ago
- Kuroko built to run on UEFI.☆10Updated 11 months ago