Alternatives and similar repositories for FoxOS-kernel

Users that are interested in FoxOS-kernel are comparing it to the libraries listed below

• GENADEV / GENADEV_OS
  An AArch64 hobbyist OS for the Raspberry Pi 3 B+
  ☆17Updated 3 years ago
• wxwisiasdf / osdev-ide
  IDE integrated with qemu
  ☆14Updated 3 years ago
• rdmsr / tinyefi
  Tiny public domain EFI library
  ☆13Updated 2 years ago
• rdmsr / tinyubsan
  Tiny libubsan implementation for hobby kernels
  ☆32Updated 3 years ago
• nop-os / nop
  ☆20Updated 3 years ago
• Glowman554 / MicroOS
  Simple OS with memory protection.
  ☆14Updated last month
• WivOS / WivOS
  A new hobby operating system made with velocity in mind :D
  ☆23Updated 5 months ago
• niqumu / Aulavik
  Tiny POSIX-like hobby OS written in C
  ☆17Updated last year
• phath0m / osdev
  osdev stuff. nothing serious
  ☆18Updated last year
• TheUltimateFoxOS / horizon
  Rewrite of the FoxOS kernel
  ☆21Updated last year
• pitust / xtrix
  xtrix OS repo
  ☆25Updated 3 years ago
• nothotscott / VisualOS
  x86-64 UEFI operating system with the goal of eliminating command lines
  ☆28Updated 4 years ago
• coderarjob / meghaos-x86
  MeghaOS is a 32 bit, protected mode Operating System for the Intel x86 architecture.
  ☆23Updated last month
• lowlevelmemes / acpi-shutdown-hack
  ☆18Updated last year
• brainboxdotcc / retro-rocket
  Retro Rocket BASIC Powered Operating System
  ☆43Updated this week
• ricercaOS / ricerca
  Ricerca research kernel project to learn more about SMP, load balancing and NUMA
  ☆10Updated 3 years ago
• lezione-os / lezione
  Lezione Operating System
  ☆10Updated 4 years ago
• Kyota-exe / Tonix
  Modern UNIX-like x86_64 operating system and kernel written in C++
  ☆51Updated 2 years ago
• managarm / lil
  Lightweight Intel gpu Library
  ☆48Updated 9 months ago
• FedorLap2006 / DepthOS
  Very simple to use OS, which doesn't restrict you
  ☆27Updated last month
• rdmsr / bestOS
  An agile, cloud-ready, blockchain-powered, nft-financed, web-scale operating system
  ☆8Updated 3 years ago
• theverygaming / vix
  ☆28Updated last month
• 48cf / jinix
  linux distro but with jinx or something
  ☆18Updated 2 months ago
• N00byEdge / bootelf
  ☆34Updated 9 months ago
• LittleCodingFox / ToastOS
  A x86_64 hobby OS
  ☆26Updated last year
• darshdudhia / DarshOS
  An Operating System made in my spare time.
  ☆7Updated last year
• streaksu / slibc
  POSIX-compatible libc meant for ease of porting and performance for hobbyist OSes
  ☆13Updated 4 years ago
• vex-os / vex
  The mighty 64-bit kernel
  ☆35Updated last week
• 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
• rdmsr / tinyvmem
  Implementation of the VMem Resource Allocator
  ☆16Updated 2 years ago