tailix / libkernauxLinks
Auxiliary library for kernel development
☆30Updated 2 years ago
Alternatives and similar repositories for libkernaux
Users that are interested in libkernaux are comparing it to the libraries listed below
Sorting:
- Moved to codeberg: https://codeberg.org/PicoEFI/PicoEFI☆30Updated last month
- Very minimalistic UEFI boot menu / kernel bootloader☆31Updated 3 months ago
- 🎨 An ansi escape code parser and renderer for hobby operating systems☆44Updated 4 years ago
- hobby OS unix-clone☆38Updated last year
- ☆34Updated 11 months ago
- Implementation of the VMem Resource Allocator☆16Updated 2 years ago
- Lightweight C++ utilities and algorithms for system programming☆62Updated last week
- Collection of 0BSD-licensed freestanding C headers for GCC and Clang.☆25Updated last month
- ☆18Updated last year
- Legacy BIOS firmware for emulators☆19Updated 4 years ago
- Operating system in C written for fun and glory☆33Updated 4 years ago
- Ricerca research kernel project to learn more about SMP, load balancing and NUMA☆10Updated 3 years ago
- Tiny libubsan implementation for hobby kernels☆30Updated 3 years ago
- POSIX-compatible libc meant for ease of porting and performance for hobbyist OSes☆13Updated 4 years ago
- Build system for OS distributions☆66Updated last month
- Hobby operating system for amd64 with high ambitions - mirror☆48Updated 3 weeks ago
- Homebrew x64 OS written in C++ that runs Doom!☆46Updated last month
- Modern UNIX-like x86_64 operating system and kernel written in C++☆51Updated 3 years ago
- An operating system project.☆54Updated 3 years ago
- A repo of xOS the dead os project from @omarrx024☆15Updated 7 years ago
- The mighty 64-bit kernel☆35Updated 2 months ago
- C17 compiler implementation from scratch☆63Updated 2 years ago
- A work-in-progress hobby operating system.☆21Updated 5 years ago
- Patches and build scripts to build a managarm distribution☆41Updated this week
- Tiny and portable microkernel☆16Updated 3 years ago
- Attempting to self-host with a high level compiler☆12Updated 3 years ago
- A x86_64 hobby OS☆25Updated 2 years ago
- x86 Kernel Project☆36Updated last year
- Distributed build server for software distributions☆17Updated 2 months ago
- Operating system designed to be fast and secure.☆21Updated 8 years ago