Alternatives and similar repositories for riscv-osdev

Users that are interested in riscv-osdev are comparing it to the libraries listed below

• heatd / Onyx
  UNIX-like operating system written in C and C++
  ☆92Updated this week
• ethan4984 / pastoral
  hobby OS unix-clone
  ☆38Updated last year
• doug65536 / dgos
  Operating System
  ☆134Updated 3 years ago
• levex / levos7
  A UNIX-like hobby kernel, running binutils, dash, GCC and ncurses, with an alright TCP/IP stack.
  ☆66Updated 8 years ago
• kiznit / rainbow-os
  Rainbow OS
  ☆58Updated 3 months ago
• vex-os / vex
  The mighty 64-bit kernel
  ☆35Updated 2 months ago
• managarm / lai
  LAI is an interpreter for AML, the ACPI Machine Language.
  ☆187Updated last year
• Tix3Dev / apoptOS
  A modern x86_64 UNIX-like microkernel-based operating system
  ☆65Updated 3 years ago
• AdeRegt / SanderOSUSB
  32 bit singletasking C kernel
  ☆65Updated 3 years ago
• lowlevelmemes / acpi-shutdown-hack
  ☆18Updated last year
• posnk / posnk
  An operating system project.
  ☆54Updated 3 years ago
• RMuskovets / Skeles
  Skeles is a hobby OS with VESA/VBE support and GRUB Multiboot.
  ☆19Updated 5 years ago
• ChaiSoft / ChaiOS
  Modular multi-platform hobby OS. Hybrid kernel, largely monolithic. Kernel C library is dynamically linked. Chai from Hebrew for "living …
  ☆39Updated 5 months ago
• a-darwish / cuteOS
  A 64-bit SMP-safe kernel for the PC architecture.
  ☆88Updated 7 years ago
• MacaronOS / Macaron
  A sweet hobby made operating system written in C++ for x86 CPUs with GUI
  ☆46Updated 2 years ago
• Jimx- / lyos
  Yet another cross-platform microkernel operating system, runs on x86/x86_64, arm64 and RISC-V
  ☆73Updated 6 months ago
• N00byEdge / bootelf
  ☆34Updated last year
• glitchub / arith64
  __udivdi3(), __divdi3(), __umoddi3(), __moddi3(), etc. for embedded GCC
  ☆53Updated last year
• grahamedgecombe / arc
  A toy x86-64 kernel.
  ☆52Updated 10 years ago
• jtsiomb / pcboot
  Bootable PC demo/game kernel
  ☆50Updated 3 years ago
• Keyronex / Keyronex
  The Keyronex Operating System
  ☆77Updated 2 months ago
• sleepy-monax / vtconsole
  🎨 An ansi escape code parser and renderer for hobby operating systems
  ☆44Updated 4 years ago
• vineyard-os / vineyard
  A work-in-progress hobby operating system.
  ☆22Updated 5 years ago
• DeanoBurrito / northport
  Monolithic kernel, drivers and support libraries for x86_64 and m68k.
  ☆97Updated 3 weeks ago
• 64 / ByteOS
  A simple hobby operating system for the x86-64 architecture
  ☆74Updated 4 years ago
• davmac314 / tosaithe
  Very minimalistic UEFI boot menu / kernel bootloader
  ☆30Updated 3 months ago
• rdmsr / tinyubsan
  Tiny libubsan implementation for hobby kernels
  ☆30Updated 3 years ago
• Kyota-exe / Tonix
  Modern UNIX-like x86_64 operating system and kernel written in C++
  ☆51Updated 3 years ago
• managarm / lil
  Lightweight Intel gpu Library
  ☆51Updated last year
• blanham / liballoc
  liballoc - a memory allocator for hobbyist operating systems
  ☆205Updated 4 years ago