managarm / xbbs
xbstrap-compatible build server
☆15Updated last year
Related projects: ⓘ
- Collection of 0BSD-licensed freestanding C headers for GCC and Clang.☆25Updated last week
- GNU-EFI fork with fixes and improvements.☆26Updated last week
- Tiny implementation of the GNU/Linux CGroupFS (sans resource controllers) as a PUFFS or FUSE filesystem for BSD platforms☆14Updated 2 years ago
- ☆18Updated 9 months ago
- ☆14Updated this week
- hobby OS unix-clone☆33Updated 3 weeks ago
- ☆27Updated this week
- Tiny libubsan implementation for hobby kernels☆30Updated 2 years ago
- An OS that "throws" bests☆15Updated 3 years ago
- POSIX-compatible libc meant for ease of porting and performance for hobbyist OSes☆12Updated 3 years ago
- Implementation of the VMem Resource Allocator☆16Updated last year
- Very minimalistic UEFI boot menu / kernel bootloader☆26Updated last week
- Build system for OS distributions☆60Updated last week
- Kuroko built to run on UEFI.☆8Updated 7 months ago
- Kaos Operating System 400☆23Updated 2 months ago
- Hobby operating system I'm making to learn OS development.☆11Updated 2 years ago
- Abandoned overcomplicated Microkernel using modern x86_64 features☆42Updated 3 years ago
- Meta-build-system for bootstrapping operating system distributions.☆49Updated this week
- A repo of xOS the dead os project from @omarrx024☆15Updated 6 years ago
- A 64-bit operating system kernel for PCs☆9Updated 3 years ago
- linux distro but with jinx or something☆15Updated 5 months ago
- Tiny public domain EFI library☆12Updated last year
- RISC-V toy operating system developed on live stream☆16Updated 3 years ago
- ☆13Updated this week
- ☆31Updated this week
- Auxiliary library for kernel development☆29Updated last year
- A little kernel written in the README file of the repo☆10Updated 3 years ago
- Lezione Operating System☆10Updated 3 years ago
- x86_64 Microkernel OS with POSIX compliance☆7Updated 3 years ago
- ☆12Updated this week