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:
- UEFI, on Loongson.☆14Updated 8 years ago
- My tinycc fork: hopefully, better OSX support, EFI targets, and ???☆34Updated 7 years ago
- UEFI app to load ELF and Raw binary☆29Updated 10 years ago
- LLVM based assembler for x86, Arm, Mips, PowerPC, Sparc and SystemZ (Rust API)☆20Updated 9 years ago
- K42 Kernel☆27Updated 13 years ago
- MUSL libc port for UEFI☆11Updated 7 years ago
- Self-contained minimal example of building an EFI app (under 64 bit Linux atm) without external build dependencies.☆60Updated 3 years ago
- Basic tools for building seL4 projects☆48Updated this week
- EDK II LKL Filesystem Driver☆13Updated 8 years ago
- trivial UEFI bootloader app☆7Updated 10 years ago
- A new iteration, from "scratch", of a µkernel-based operating system for 64-bit architectures. Previous iteration can be found here: http…☆13Updated 2 weeks ago
- A x86 Virtual Machine Monitor including device modules and instruction emulator. Standalone version of the Vancouver VMM.☆44Updated 3 years ago
- NOVA runtime environment (official branch)☆34Updated 3 years ago
- EDK II EFIDroidUi☆12Updated 7 years ago
- Portable C Compiler (CVS mirror)☆12Updated 13 years ago
- A minimal 64-bit operating system for x86-64☆9Updated last year
- NOVA userland☆48Updated 11 years ago
- ☆33Updated 10 months ago
- Multi-architecture hobby operating system created in C☆16Updated 3 weeks ago
- UEFI boot loader☆79Updated 2 years ago
- UEFI Reference Specification Protocol Constants and Definitions☆40Updated 6 years ago
- Toy Operating System☆11Updated 9 years ago
- Kiwi operating system☆14Updated 4 months ago
- My coreboot work☆23Updated 14 years ago
- A little just-in-time compiler thing☆18Updated 6 years ago
- An x86 real mode multiboot-ish ELF bootloader☆26Updated 6 years ago
- Sparc emulator☆10Updated 7 years ago
- Moved to codeberg: https://codeberg.org/osdev/nyu-efi☆31Updated last month
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆24Updated 3 years ago
- Prex is a portable real-time operating system for embedded systems☆27Updated 14 years ago