Alternatives and similar repositories for Horizon-Microkernel

Users that are interested in Horizon-Microkernel are comparing it to the libraries listed below

• vineyard-os / vineyard
  A work-in-progress hobby operating system.
  ☆22Updated 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 6 months ago
• RMuskovets / Skeles
  Skeles is a hobby OS with VESA/VBE support and GRUB Multiboot.
  ☆19Updated 5 years ago
• shreyaslad / slate
  a 64 bit x86 operating system
  ☆17Updated 4 years ago
• sigma-os / Sigma
  Abandoned overcomplicated Microkernel using modern x86_64 features
  ☆42Updated 5 years ago
• CorruptedByCPU / Zero
  64 bit bootloader for Cyjon operating system.
  ☆13Updated 4 years ago
• vex-os / vex
  The mighty 64-bit kernel
  ☆35Updated 3 months ago
• lezione-os / lezione
  Lezione Operating System
  ☆10Updated 4 years ago
• NetaScale / SCAL-UX
  SCAL/UX, a hobby Unix-like operating system
  ☆19Updated 3 years ago
• shreyaslad / flame
  a 64 bit x86 operating system
  ☆26Updated 5 years ago
• davmac314 / tosaithe
  Very minimalistic UEFI boot menu / kernel bootloader
  ☆30Updated 4 months ago
• ethan4984 / pastoral
  hobby OS unix-clone
  ☆39Updated last year
• eteran / os64
  A minimal example of an x86_64 higher half kernel loaded at the -2GB mark
  ☆41Updated 2 years ago
• iProgramMC / NanoShell64
  The NanoShell64 Operating System - an x86_64 SMP aware OS. Abandoned as of August 20th, 2023, see below link.
  ☆16Updated 2 years ago
• no92 / vineyard
  Moved to:
  ☆12Updated 6 years ago
• christianb93 / ctOS
  ctOS is a bit 32 bit Unix-like operating system that I developed as a toy project
  ☆41Updated 7 years ago
• catmaster1010 / flan
  if unix was made by a monkey with a typewritter
  ☆16Updated last year
• TheUltimateFoxOS / horizon
  Rewrite of the FoxOS kernel
  ☆21Updated last year
• portasynthinca3 / neutron
  A very simple operating system in C for UEFI-enabled x86-64 systems
  ☆20Updated 5 months ago
• AtieP / Vigil
  An x86_64 operating system
  ☆19Updated 4 years ago
• CPL-1 / CPL-1
  Operating system in C written for fun and glory
  ☆33Updated 4 years ago
• heatd / Onyx
  UNIX-like operating system written in C and C++
  ☆92Updated this week
• 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
• sleepy-monax / skift-cpp
  A simple, handmade, operating system for intel x86 cpu. Now written in c++ !
  ☆30Updated 5 years ago
• thomasloven / os5
  My attempts at developing an operating system kernel.
  ☆11Updated 10 years ago
• jarlostensen / josx64
  jOS UEFI bootable 64 bit kernel
  ☆13Updated 3 years ago
• himanshugoel2797 / Cardinal
  Operating system designed to be fast and secure.
  ☆21Updated 8 years ago
• thomasloven / mittos64
  ☆50Updated 6 years ago
• FlorenceOS / Sabaton
  aarch64 stivale2 bootloader
  ☆49Updated 2 years ago