Alternatives and similar repositories for tinyvale

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

• sigma-os / Sigma
  Abandoned overcomplicated Microkernel using modern x86_64 features
  ☆42Updated 5 years ago
• lowlevelmemes / acpi-shutdown-hack
  ☆18Updated 2 months ago
• ricercaOS / ricerca
  Ricerca research kernel project to learn more about SMP, load balancing and NUMA
  ☆10Updated 4 years ago
• thomtl / Luna
  A Type-1 Hypervisor written in Modern C++
  ☆44Updated 2 years ago
• ethan4984 / pastoral
  hobby OS unix-clone
  ☆39Updated last year
• osdev0 / nyu-efi
  Moved to codeberg: https://codeberg.org/PicoEFI/PicoEFI
  ☆30Updated 5 months ago
• managarm / lil
  Lightweight Intel gpu Library
  ☆52Updated last year
• WivOS / WivOS
  A new hobby operating system made with velocity in mind :D
  ☆23Updated 11 months ago
• Tix3Dev / apoptOS
  A modern x86_64 UNIX-like microkernel-based operating system
  ☆66Updated 3 years ago
• AtieP / Vigil
  An x86_64 operating system
  ☆19Updated 4 years ago
• pitust / xtrix
  xtrix OS repo
  ☆27Updated 3 years ago
• osdev0 / wiki
  Modern OS Development wiki.
  ☆66Updated 2 years ago
• N00byEdge / bootelf
  ☆34Updated last year
• davmac314 / tosaithe
  Very minimalistic UEFI boot menu / kernel bootloader
  ☆32Updated 7 months ago
• managarm / xbstrap
  Build system for OS distributions
  ☆64Updated last week
• nothotscott / VisualOS
  x86-64 UEFI operating system with the goal of eliminating command lines
  ☆28Updated 4 years ago
• iProgramMC / Boron
  The Boron Operating System - an experimental SMP operating system inspired by a particular 1990s workstation OS
  ☆69Updated 2 weeks ago
• toddsharpe / MetalOS
  Homebrew x64 OS written in C++ that runs Doom!
  ☆46Updated 5 months ago
• pgrAm / JSD-OS
  A small operating system for 32 bit x86
  ☆63Updated 3 years ago
• CorruptedByCPU / Zero
  64 bit bootloader for Cyjon operating system.
  ☆14Updated 4 years ago
• Moldytzu / mOS
  Operating system written in C. Monolithic kernel design.
  ☆26Updated 2 years ago
• CPL-1 / CPL-1
  Operating system in C written for fun and glory
  ☆33Updated 4 years ago
• lezione-os / lezione
  Lezione Operating System
  ☆10Updated 4 years ago
• wxwisiasdf / osdev-ide
  IDE integrated with qemu
  ☆13Updated 3 years ago
• rdmsr / tinyubsan
  Tiny libubsan implementation for hobby kernels
  ☆33Updated 3 years ago
• leap0x7b / awesome-osdev
  List of resources and projects for operating system development.
  ☆61Updated last year
• tehybel / osdev
  An x86 OS written from scratch in C
  ☆37Updated 8 years ago
• pitust / diode
  The home of diodeOS, a kernel (and in the future userland) with the goal of not crashing and getting to userland (and also posix complian…
  ☆13Updated 4 years ago
• AtieP / acpi_shutdown_asm
  ACPI Shutdown Hack in 512 bytes of Assembly
  ☆11Updated 4 years ago
• lightning-speed / Radical-OS
  Radical kernel source tree
  ☆51Updated 4 years ago