Alternatives and similar repositories for tinyvale:

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

• coderarjob / meghaos-x86
  MeghaOS is a 32 bit, protected mode Operating System for the Intel x86 architecture.
  ☆17Updated last month
• lowlevelmemes / acpi-shutdown-hack
  ☆18Updated last year
• osdev0 / nyu-efi-c-template
  Example/template hello world using Nyu-EFI.
  ☆22Updated 2 months ago
• AtieP / Vigil
  An x86_64 operating system
  ☆20Updated 3 years ago
• N00byEdge / bootelf
  ☆33Updated 4 months ago
• wxwisiasdf / osdev-ide
  IDE integrated with qemu
  ☆14Updated 2 years ago
• managarm / lil
  Lightweight Intel gpu Library
  ☆47Updated 4 months ago
• pitust / xtrix
  xtrix OS repo
  ☆25Updated 2 years ago
• iProgramMC / Boron
  The Boron Operating System - an experimental SMP operating system inspired by a particular 1990s workstation OS
  ☆45Updated 4 months ago
• ricercaOS / ricerca
  Ricerca research kernel project to learn more about SMP, load balancing and NUMA
  ☆10Updated 3 years ago
• sigma-os / Sigma
  Abandoned overcomplicated Microkernel using modern x86_64 features
  ☆42Updated 4 years ago
• lezione-os / lezione
  Lezione Operating System
  ☆10Updated 3 years ago
• osdev0 / nyu-efi
  GNU-EFI fork with fixes and improvements.
  ☆30Updated last month
• 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 3 years ago
• Moldytzu / mOS
  Operating system written in C. Monolithic kernel design.
  ☆27Updated last year
• shreyaslad / sonar
  A Type-1 hypervisor aimed to implement kernel hotswapping
  ☆28Updated last year
• rdmsr / tinyubsan
  Tiny libubsan implementation for hobby kernels
  ☆31Updated 2 years ago
• WivOS / WivOS
  A new hobby operating system made with velocity in mind :D
  ☆22Updated last week
• AtieP / LakeBIOS
  Legacy BIOS firmware for emulators
  ☆19Updated 3 years ago
• Takao-OS / Takao
  A kernel made with love, and lots of D.
  ☆20Updated 3 years ago
• pgrAm / JSD-OS
  A small operating system for 32 bit x86
  ☆59Updated 2 years ago
• streaksu / slibc
  POSIX-compatible libc meant for ease of porting and performance for hobbyist OSes
  ☆13Updated 4 years ago
• nothotscott / VisualOS
  x86-64 UEFI operating system with the goal of eliminating command lines
  ☆28Updated 3 years ago
• CorruptedByCPU / Zero
  64 bit bootloader for Cyjon operating system.
  ☆13Updated 3 years ago
• ethan4984 / pastoral
  hobby OS unix-clone
  ☆38Updated 5 months ago
• limine-bootloader / limine-cxx-template
  A simple template for building a Limine-compliant kernel in C++.
  ☆15Updated this week
• V01D-NULL / limine-terminal-port
  A port of the limine terminal which won't interfere with any user level address spaces (i.e. it's not in lower half memory anymore)
  ☆15Updated 2 years ago
• rdmsr / tisix
  Tiny and portable microkernel
  ☆16Updated 3 years ago
• Qwinci / crescent
  A custom OS distribution
  ☆17Updated last month
• rdmsr / tinyefi
  Tiny public domain EFI library
  ☆13Updated 2 years ago