tailix / libkernaux
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
- ☆34Updated 4 months ago
- GNU-EFI fork with fixes and improvements.☆31Updated this week
- Very minimalistic UEFI boot menu / kernel bootloader☆28Updated 5 months ago
- ☆18Updated last year
- Lightweight Intel gpu Library☆47Updated 4 months ago
- POSIX-compatible libc meant for ease of porting and performance for hobbyist OSes☆13Updated 4 years ago
- Attempting to self-host with a high level compiler☆11Updated 2 years ago
- Tiny libubsan implementation for hobby kernels☆31Updated 2 years ago
- Example/template hello world using Nyu-EFI.☆22Updated last week
- Wine on steroids☆14Updated 2 years ago
- Implementation of the VMem Resource Allocator☆16Updated 2 years ago
- The Boron Operating System - an experimental SMP operating system inspired by a particular 1990s workstation OS☆47Updated this week
- hobby OS unix-clone☆38Updated 6 months ago
- linux distro but with jinx or something☆16Updated 10 months ago
- Ricerca research kernel project to learn more about SMP, load balancing and NUMA☆10Updated 3 years ago
- Tiny and portable microkernel☆16Updated 3 years ago
- Collection of 0BSD-licensed freestanding C headers for GCC and Clang.☆26Updated 2 months ago
- Async primitives library for C++20☆18Updated last month
- Lightweight C++ utilities and algorithms for system programming☆59Updated last week
- A tiny stivale/stivale2 bootloader☆11Updated 3 years ago
- Zigux is an attempt to write a UNIX-like kernel in Zig☆29Updated 8 months ago
- The mighty 64-bit kernel☆35Updated 4 months ago
- BASIC-style "compiler" as C syntax library☆19Updated 12 years ago
- A work-in-progress hobby operating system.☆19Updated 4 years ago
- A modern x86_64 UNIX-like microkernel-based operating system☆63Updated 2 years ago
- Tiny and portable device tree parser, written in C.☆15Updated last month
- Baremetal Embeddable Debugger☆12Updated 3 years ago
- Build system for OS distributions☆63Updated last month
- A hobby operating system built mostly from scratch.☆8Updated 11 years ago