Alternatives and similar repositories for marvelos

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

• heatd / Onyx
  UNIX-like operating system written in C and C++
  ☆92Updated this week
• vex-os / vex
  The mighty 64-bit kernel
  ☆35Updated last month
• rdmsr / tinyubsan
  Tiny libubsan implementation for hobby kernels
  ☆32Updated 3 years ago
• Keyronex / Keyronex
  The Keyronex Operating System
  ☆78Updated 3 weeks ago
• twd2 / riscv-osdev
  Hello RISC-V 64!
  ☆17Updated 7 years ago
• DeanoBurrito / northport
  Monolithic kernel, drivers and support libraries for x86_64 and m68k.
  ☆97Updated this week
• managarm / lai
  LAI is an interpreter for AML, the ACPI Machine Language.
  ☆185Updated last year
• jjwang / HanOS
  Microkernel-based General Purpose Operating System #Hobby OS#
  ☆51Updated last month
• austanss / skylight
  A big ball of mud.
  ☆81Updated 3 weeks ago
• Tix3Dev / apoptOS
  A modern x86_64 UNIX-like microkernel-based operating system
  ☆66Updated 2 years ago
• xrarch / mintia
  Paging operating system for a custom computer architecture
  ☆94Updated last month
• aar10n / osdev
  64-bit UNIX hobby operating system with a UEFI bootloader and a Linux compatible syscall interface. Runs DOOM.
  ☆100Updated last week
• osdev0 / wiki
  Modern OS Development wiki.
  ☆63Updated 2 years ago
• AdeRegt / SanderOSUSB
  32 bit singletasking C kernel
  ☆65Updated 3 years ago
• 64 / ByteOS
  A simple hobby operating system for the x86-64 architecture
  ☆72Updated 4 years ago
• DeanoBurrito / smoldtb
  Tiny and portable device tree parser, written in C.
  ☆18Updated 7 months ago
• ry755 / fennecos
  FennecOS - a small 32-bit x86 operating system
  ☆38Updated 3 months ago
• theverygaming / vix
  ☆28Updated last week
• kiznit / rainbow-os
  Rainbow OS
  ☆58Updated last month
• posnk / posnk
  An operating system project.
  ☆54Updated 2 years ago
• mariuz / linux-0.01
  compilable linux-0.01
  ☆88Updated 2 years ago
• mkilgore / protura
  ☆90Updated 3 years ago
• d0p1s4m4 / Fukuro
  Simple microkernel (early stage)
  ☆23Updated last year
• aweeraman / odyssey
  An experimental operating system for x86 and ARM
  ☆50Updated 3 years ago
• Kyota-exe / Tonix
  Modern UNIX-like x86_64 operating system and kernel written in C++
  ☆50Updated 3 years ago
• notYuriy / YayOS
  One more hobby operating system
  ☆13Updated 5 years ago
• 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)
  ☆16Updated 2 years ago
• managarm / lil
  Lightweight Intel gpu Library
  ☆46Updated 10 months ago
• avdgrinten / riscv-toy-os
  RISC-V toy operating system developed on live stream
  ☆16Updated 4 years ago
• franzflasch / riscv_em
  Simple risc-v emulator, able to run linux, written in C.
  ☆143Updated last year