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 4 months ago
- UEFI, on Loongson.☆14Updated 9 years ago
- UEFI app to load ELF and Raw binary☆30Updated 10 years ago
- MUSL libc port for UEFI☆11Updated 8 years ago
- A UNIX-like OS targeting AMD64 compatible processors☆16Updated 3 years ago
- UEFI boot loader☆81Updated 3 years ago
- ARM64 version of Simple UEFI Bootloader☆27Updated 6 years ago
- Metta OS☆71Updated 10 months ago
- K42 Kernel☆30Updated 13 years ago
- Self-contained minimal example of building an EFI app (under 64 bit Linux atm) without external build dependencies.☆60Updated 4 years ago
- Toy Operating System☆11Updated 9 years ago
- My coreboot work☆23Updated 14 years ago
- Moved to codeberg: https://codeberg.org/PicoEFI/PicoEFI☆30Updated last month
- nebulae kernel - stage 0 uefi barebones☆35Updated last year
- My tinycc fork: hopefully, better OSX support, EFI targets, and ???☆34Updated 8 years ago
- Portable C Compiler (CVS mirror)☆12Updated 13 years ago
- A simple UEFI bootloader written in C++17 that does not need any third-party support code like Tianocore EDK or gnu-efi; only needs a han…☆21Updated 3 years ago
- An operating system.☆29Updated 7 years ago
- A kernel with a purpose - to keep most of the code out of the kernel☆15Updated 6 years ago
- EDK II EFIDroidUi☆12Updated 7 years ago
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆24Updated 3 years ago
- UEFI Reference Specification Protocol Constants and Definitions☆40Updated 6 years ago
- EDK II LKL Filesystem Driver☆13Updated 8 years ago
- just a toy operating system for fun☆19Updated 10 years ago
- Tiny Operating System supporting: SVGA gui, Grub bootloader, network subsystem, CDROM drivers.☆34Updated 12 years ago
- Shell script to build gcc for various architectures☆85Updated last month
- Operating system designed to be fast and secure.☆21Updated 8 years ago
- Acess2 Hobby Operating System☆88Updated last year
- minimal libc☆21Updated 13 years ago
- A simple bootloader for linux kernel☆25Updated 11 years ago