Alternatives and similar repositories for bootelf

Users that are interested in bootelf are comparing it to the libraries listed below

• rdmsr / tinyvmem
  Implementation of the VMem Resource Allocator
  ☆16Updated 2 years ago
• lowlevelmemes / acpi-shutdown-hack
  ☆18Updated last month
• rdmsr / tinyubsan
  Tiny libubsan implementation for hobby kernels
  ☆30Updated 3 years ago
• posnk / posnk
  An operating system project.
  ☆54Updated 3 years ago
• vex-os / vex
  The mighty 64-bit kernel
  ☆35Updated 4 months ago
• Moldytzu / mOS
  Operating system written in C. Monolithic kernel design.
  ☆27Updated 2 years ago
• xrarch / xremu
  XR/station emulator written in C with SDL.
  ☆40Updated 2 weeks ago
• WivOS / WivOS
  A new hobby operating system made with velocity in mind :D
  ☆23Updated 10 months ago
• ricercaOS / ricerca
  Ricerca research kernel project to learn more about SMP, load balancing and NUMA
  ☆10Updated 4 years ago
• managarm / lil
  Lightweight Intel gpu Library
  ☆51Updated last year
• ethan4984 / pastoral
  hobby OS unix-clone
  ☆39Updated last year
• streaksu / slibc
  POSIX-compatible libc meant for ease of porting and performance for hobbyist OSes
  ☆13Updated 5 years ago
• cute-engineering / chadlibc
  😎 C standard library
  ☆20Updated last year
• rdmsr / tinyefi
  Tiny public domain EFI library
  ☆13Updated 2 years ago
• davmac314 / tosaithe
  Very minimalistic UEFI boot menu / kernel bootloader
  ☆31Updated 5 months ago
• pitust / xtrix
  xtrix OS repo
  ☆26Updated 3 years ago
• Kyota-exe / Tonix
  Modern UNIX-like x86_64 operating system and kernel written in C++
  ☆51Updated 3 years ago
• Keyronex / Keyronex
  The Keyronex Operating System
  ☆77Updated 4 months ago
• managarm / xbstrap
  Build system for OS distributions
  ☆65Updated 2 months ago
• CPL-1 / CPL-1
  Operating system in C written for fun and glory
  ☆34Updated 4 years ago
• AtieP / LakeBIOS
  Legacy BIOS firmware for emulators
  ☆19Updated 4 years ago
• sleepy-monax / vtconsole
  🎨 An ansi escape code parser and renderer for hobby operating systems
  ☆44Updated 4 years ago
• Tix3Dev / apoptOS
  A modern x86_64 UNIX-like microkernel-based operating system
  ☆66Updated 3 years ago
• osdev0 / wiki
  Modern OS Development wiki.
  ☆64Updated 2 years ago
• cute-engineering / ce-heap
  🥞 A simple heap allocation library for hobby operating systems.
  ☆19Updated last year
• heatd / Onyx
  UNIX-like operating system written in C and C++
  ☆92Updated 2 weeks ago
• osdev0 / freestnd-c-hdrs-0bsd
  Collection of 0BSD-licensed freestanding C headers for GCC and Clang.
  ☆25Updated 3 months ago
• Qwinci / crescent
  A custom OS distribution
  ☆22Updated 4 months ago
• LittleCodingFox / ToastOS
  A x86_64 hobby OS
  ☆25Updated 2 years ago
• d0p1s4m4 / Fukuro
  Simple microkernel (early stage)
  ☆23Updated last year