Openwide-Ingenierie / uefi-musl
MUSL libc port for UEFI
☆11Updated 7 years ago
Alternatives and similar repositories for uefi-musl:
Users that are interested in uefi-musl are comparing it to the libraries listed below
- uefi app/bootloader development sandbox☆15Updated 8 years ago
- UEFI Reference Specification Protocol Constants and Definitions☆39Updated 6 years ago
- UEFI app to load ELF and Raw binary☆29Updated 9 years ago
- Very minimalistic UEFI boot menu / kernel bootloader☆28Updated 6 months ago
- UEFI, on Loongson.☆14Updated 8 years ago
- Self-contained minimal example of building an EFI app (under 64 bit Linux atm) without external build dependencies.☆60Updated 3 years ago
- EDK II LKL Filesystem Driver☆13Updated 8 years ago
- nebulae kernel - stage 0 uefi barebones☆35Updated last year
- GNU-EFI fork with fixes and improvements.☆31Updated 2 weeks ago
- Simple (green) threads for UEFI☆23Updated 7 years ago
- trivial UEFI bootloader app☆7Updated 10 years ago
- A minimal 64-bit operating system for x86-64☆9Updated last year
- Freestanding libelf extracted from elfutils☆30Updated 5 months ago
- Async primitives library for C++20☆18Updated 2 months ago
- A minimal example of an x86_64 higher half kernel loaded at the -2GB mark☆41Updated 2 years ago
- ELF64 Relocatable Object Loader☆25Updated 7 years ago
- SerialICE is a flexible, software based system software debugger☆31Updated last year
- A repo of xOS the dead os project from @omarrx024☆15Updated 7 years ago
- gcc wrapper and libc for creating tiny (200-byte) Linux i386 executables☆15Updated 2 years ago
- Tiny implementation of the GNU/Linux CGroupFS (sans resource controllers) as a PUFFS or FUSE filesystem for BSD platforms☆14Updated 3 years ago
- ☆34Updated 5 months ago
- A microkernel for ESP32 targeting TTGO T-Watch-2020-V2☆11Updated 2 years ago
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆24Updated 3 years ago
- An EFI Byte Code (EBC) assembler, based on fasmg☆44Updated 2 years ago
- My tinycc fork: hopefully, better OSX support, EFI targets, and ???☆34Updated 7 years ago
- Collection of 0BSD-licensed freestanding C headers for GCC and Clang.☆27Updated 2 months ago
- NetBSD userland tools☆9Updated 4 years ago
- The repository of NexNix, an operating system aimed to be fast and secure, with the right balance of simplicity and power☆13Updated 4 months ago
- S.A.R.A. development branch. Rebased often. Use at your own risk.☆10Updated 4 years ago
- posix compatible lex utility which compiles to ~60KB☆23Updated 2 years ago