Alternatives and similar repositories for marvelos

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

• DeanoBurrito / northport
  Monolithic kernel, drivers and support libraries for x86_64, riscv64 and m68k.
  ☆93Updated this week
• Keyronex / Keyronex
  The Keyronex Operating System
  ☆78Updated 3 months ago
• vex-os / vex
  The mighty 64-bit kernel
  ☆35Updated 7 months ago
• kiznit / rainbow-os
  Rainbow OS
  ☆57Updated 3 months ago
• rdmsr / tinyubsan
  Tiny libubsan implementation for hobby kernels
  ☆32Updated 3 years ago
• aar10n / osdev
  64-bit UNIX hobby operating system with a UEFI bootloader
  ☆80Updated last week
• Tix3Dev / apoptOS
  A modern x86_64 UNIX-like microkernel-based operating system
  ☆63Updated 2 years ago
• iProgramMC / Boron
  The Boron Operating System - an experimental SMP operating system inspired by a particular 1990s workstation OS
  ☆54Updated last week
• franzflasch / riscv_em
  Simple risc-v emulator, able to run linux, written in C.
  ☆142Updated last year
• scalaview / spectra
  A 64bit operating system kernel with graphical user interface.
  ☆37Updated 2 years ago
• managarm / lil
  Lightweight Intel gpu Library
  ☆48Updated 7 months ago
• DeanoBurrito / smoldtb
  Tiny and portable device tree parser, written in C.
  ☆16Updated 4 months ago
• heatd / Onyx
  UNIX-like operating system written in C and C++
  ☆91Updated last month
• theverygaming / vix
  ☆28Updated 2 months ago
• xrarch / mintia
  Paging operating system for a custom computer architecture
  ☆90Updated this week
• austanss / skylight
  An arrogant, slowly-progressing personal manifesto on the optimal future for the design, construction, and practice of operating systems.
  ☆81Updated 11 months ago
• ry755 / fennecos
  FennecOS - a small 32-bit x86 operating system
  ☆38Updated 2 weeks ago
• osdev0 / wiki
  Modern OS Development wiki.
  ☆64Updated last year
• mintsuki / flanterm
  Moved to codeberg: https://codeberg.org/mintsuki/flanterm
  ☆104Updated 2 months ago
• tehybel / osdev
  An x86 OS written from scratch in C
  ☆36Updated 7 years ago
• avdgrinten / riscv-toy-os
  RISC-V toy operating system developed on live stream
  ☆16Updated 3 years ago
• Kyota-exe / Tonix
  Modern UNIX-like x86_64 operating system and kernel written in C++
  ☆51Updated 2 years ago
• rdmsr / tinyefi
  Tiny public domain EFI library
  ☆13Updated 2 years ago
• posnk / posnk
  An operating system project.
  ☆54Updated 2 years ago
• managarm / lai
  LAI is an interpreter for AML, the ACPI Machine Language.
  ☆185Updated last year
• fox32-arch / fox32rom
  fox32 boot ROM
  ☆16Updated last month
• AdeRegt / SanderOSUSB
  32 bit singletasking C kernel
  ☆65Updated 3 years ago
• rdmsr / tisix
  Tiny and portable microkernel
  ☆16Updated 3 years ago
• 64 / ByteOS
  A simple hobby operating system for the x86-64 architecture
  ☆72Updated 4 years ago
• N00byEdge / bootelf
  ☆34Updated 7 months ago