Openwide-Ingenierie / uefi-muslLinks
MUSL libc port for UEFI
☆11Updated 8 years ago
Alternatives and similar repositories for uefi-musl
Users that are interested in uefi-musl are comparing it to the libraries listed below
Sorting:
- uefi app/bootloader development sandbox☆15Updated 9 years ago
- UEFI Reference Specification Protocol Constants and Definitions☆41Updated 6 years ago
- Moved to codeberg: https://codeberg.org/PicoEFI/PicoEFI☆30Updated 2 months ago
- UEFI app to load ELF and Raw binary☆30Updated 10 years ago
- nebulae kernel - stage 0 uefi barebones☆35Updated last year
- Freestanding libelf extracted from elfutils☆40Updated 2 weeks ago
- Self-contained minimal example of building an EFI app (under 64 bit Linux atm) without external build dependencies.☆60Updated 4 years ago
- Experimental tool for running Linux binaries on Windows☆41Updated 10 years ago
- Very minimalistic UEFI boot menu / kernel bootloader☆31Updated 4 months ago
- A small arm/x86(-64) libc☆91Updated 2 weeks ago
- Build UEFI applications with the Clang compiler and LLD linker.☆63Updated last year
- EDK II LKL Filesystem Driver☆13Updated 8 years ago
- UEFI, on Loongson.☆14Updated 9 years ago
- An EFI Byte Code (EBC) assembler, based on fasmg☆44Updated 2 years ago
- posix compatible lex utility which compiles to ~60KB☆27Updated 3 years ago
- EFI Byte Code Virtual Machine in userspace☆81Updated 2 years ago
- Context-free grammar parsing library☆10Updated last year
- UEFI boot loader☆80Updated 3 years ago
- gcc wrapper and libc for creating tiny (200-byte) Linux i386 executables☆15Updated 2 years ago
- A minimal ANSI escape sequence parser, written in C.☆26Updated 7 years ago
- A UNIX-like OS targeting AMD64 compatible processors☆16Updated 3 years ago
- Kuroko built to run on UEFI.☆10Updated last year
- Shell script to build gcc for various architectures☆85Updated last month
- Ananas Operating System☆56Updated 3 years ago
- LK embedded kernel☆26Updated 9 months ago
- __udivdi3(), __divdi3(), __umoddi3(), __moddi3(), etc. for embedded GCC☆54Updated last year
- Non-GNU toolchain☆72Updated 4 years ago
- A minimal example of an x86_64 higher half kernel loaded at the -2GB mark☆41Updated 2 years ago
- Sled System Emulator☆28Updated last week
- Hobby operating system for amd64 with high ambitions - mirror☆48Updated 2 months ago