Alternatives and similar repositories for Poseidon

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

• tiagoporsch / os
  Compilation of my own bootloader, kernel, libc, and userspace programs, all in x86-64
  ☆17Updated 2 years ago
• himanshugoel2797 / ApertureOS
  Toy Operating System
  ☆11Updated 9 years ago
• Arignir / chaos-2
  A hand-made SMP-aware kernel
  ☆18Updated 7 years ago
• duckinator / dux
  An operating system.
  ☆30Updated 8 years ago
• thomasloven / os5
  My attempts at developing an operating system kernel.
  ☆11Updated 11 years ago
• no92 / vineyard
  Moved to:
  ☆12Updated 6 years ago
• alnyan / ygg-kernel-amd64
  [mirror] Yggdrasil kernel - x86-64 Unix-like kernel
  ☆14Updated 5 years ago
• khoek / k-os
  Keeley's - Operating System (K-OS)
  ☆18Updated 4 years ago
• MakeOS / GhostBirdOS
  A lightweight, multi-tasking graphical operating system, JUST FOR FUN!
  ☆12Updated 7 years ago
• PSanf2 / POS_C9
  Patrick's Operating System
  ☆14Updated 10 years ago
• travisg / uefi
  uefi app/bootloader development sandbox
  ☆15Updated 9 years ago
• RMuskovets / Skeles
  Skeles is a hobby OS with VESA/VBE support and GRUB Multiboot.
  ☆19Updated 5 years ago
• himanshugoel2797 / Cardinal
  Operating system designed to be fast and secure.
  ☆21Updated 8 years ago
• achernya / iap-6.828-website
  ☆11Updated 11 years ago
• eteran / os64
  A minimal example of an x86_64 higher half kernel loaded at the -2GB mark
  ☆42Updated 2 years ago
• vineyard-os / vineyard
  A work-in-progress hobby operating system.
  ☆23Updated 5 years ago
• managarm / lewis
  Lightweight SSA compiler suite
  ☆11Updated last year
• jarlostensen / josx64
  jOS UEFI bootable 64 bit kernel
  ☆13Updated 3 years ago
• aejsmith / kiwi
  Kiwi operating system
  ☆15Updated 11 months ago
• farlepet / lambda-kern
  Mirror of https://git.pfarley.dev/lambda-os/lambda-kern, Multi-architecture hobby operating system kernel created in C
  ☆16Updated 7 months ago
• sigma-os / Sigma
  Abandoned overcomplicated Microkernel using modern x86_64 features
  ☆42Updated 5 years ago
• grahamedgecombe / arc
  A toy x86-64 kernel.
  ☆52Updated 10 years ago
• Alexis211 / Melon
  The Melon Operating System (nothing to see here!)
  ☆13Updated 11 years ago
• iankronquist / kernel-of-truth
  A simple kernel written in C and a platform to play with x86_64 extensions
  ☆30Updated 7 years ago
• griwes / reaveros
  A new iteration, from "scratch", of a µkernel-based operating system for 64-bit architectures. Previous iteration can be found here: http…
  ☆15Updated this week
• thepowersgang / acess2
  Acess2 Hobby Operating System
  ☆90Updated 2 years ago
• olsner / os
  x86-64 assembly µkernel
  ☆17Updated 5 years ago
• rpjohnst / kernel
  Capability-based exokernel for x86_64
  ☆22Updated 9 years ago
• CorruptedByCPU / Zero
  64 bit bootloader for Cyjon operating system.
  ☆14Updated 4 years ago
• zesterer / tupai
  A modular POSIX-like operating system created for educational purposes
  ☆19Updated 7 years ago