Alternatives and similar repositories for basilica-os

Users that are interested in basilica-os are comparing it to the libraries listed below

• Ampferl / obsidian
  Obsidian is a simple operating system kernel written in C++.
  ☆13Updated 4 years ago
• mszoek / hydrogen
  A little toy OS written over a few months in 2019. 64-bit, preemptive multitasking kernel supporting EFI, PCIe, SATA, framebuffer graphic…
  ☆41Updated 5 years ago
• LensPlaysGames / LensorOS
  An OS based on UEFI
  ☆92Updated last year
• collinsmichael / spartan
  Final Year Project - Multi-Tasking GUI based Operating System designed with usability in mind
  ☆15Updated 7 years ago
• sigma-os / Sigma
  Abandoned overcomplicated Microkernel using modern x86_64 features
  ☆42Updated 5 years ago
• fgken / uefi-bootloader
  UEFI app to load ELF and Raw binary
  ☆30Updated 10 years ago
• pritamzope / xlang
  Compiler for xlang, A C like high level programming language that emits Intel x86 assembly
  ☆54Updated 4 years ago
• maxtyson123 / MaxOS
  A 64bit hobby operating system written in C++
  ☆53Updated last week
• osdev0 / wiki
  Modern OS Development wiki.
  ☆64Updated 2 years ago
• levex / levos7
  A UNIX-like hobby kernel, running binutils, dash, GCC and ncurses, with an alright TCP/IP stack.
  ☆66Updated 8 years ago
• peterzuger / libc
  C standard library for embedded systems
  ☆12Updated 2 months ago
• JackScottAU / Amethyst
  My hobby operating system project. The plan was grand, the mind was melted. It does compile and run though...
  ☆21Updated last month
• zesterer / tupai
  A modular POSIX-like operating system created for educational purposes
  ☆19Updated 7 years ago
• osdev0 / libgcc-binaries
  Precompiled binaries of the libgcc GCC/clang runtime support library.
  ☆10Updated 3 months ago
• osdev0 / nyu-efi
  Moved to codeberg: https://codeberg.org/PicoEFI/PicoEFI
  ☆30Updated 2 months ago
• iknowbrain / NIDOS
  A Simple operating system meant for educational purposes.
  ☆38Updated 2 years ago
• davmac314 / tosaithe
  Very minimalistic UEFI boot menu / kernel bootloader
  ☆31Updated 4 months ago
• strawberryhacker / operating-system-cortex-m7
  Operating system
  ☆37Updated 5 years ago
• austanss / micron
  A retired research project.
  ☆10Updated 4 years ago
• lightning-speed / Radical-OS
  Radical kernel source tree
  ☆51Updated 4 years ago
• kuroko-lang / kuroko-efi
  Kuroko built to run on UEFI.
  ☆10Updated last year
• 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
• leap0x7b / awesome-osdev
  List of resources and projects for operating system development.
  ☆54Updated last year
• GeniusesGroup / PersiaOS
  Distributed Operating System on Exokernel (Unikernel) Concepts
  ☆22Updated 2 years ago
• felipenlunkes / osdev
  A list of reference material to operating system development and administration and operating system history
  ☆45Updated last year
• AtieP / Vigil
  An x86_64 operating system
  ☆19Updated 4 years ago
• Stellaris-code / LudOS
  A toy monolithic kernel written in C++
  ☆44Updated 6 years ago
• povilasb / simple-os
  Simple multiprocess operating system running on x86 CPUs.
  ☆65Updated 5 years ago
• dreamos82 / DreamOs
  A small 32 bit Operating system written from scratch
  ☆86Updated last year
• AshishKumar4 / Aqeous
  (Inactive, Was a 15 year old child's attempt at making an OS. Checkout AvanaOS, Rewrite of this) This is a New Operating System (Kernel r…
  ☆30Updated 4 years ago