Alternatives and similar repositories for BareMetal-OS

Users that are interested in BareMetal-OS are comparing it to the libraries listed below

• ReturnInfinity / BareMetal
  A very minimal, resource efficient exo-kernel
  ☆770Updated last week
• maxdev1 / ghost
  Ghost, a micro-kernel based hobby operating system.
  ☆637Updated 4 months ago
• mikaku / Fiwix
  A UNIX-like kernel for the i386 architecture
  ☆563Updated this week
• HelenOS / helenos
  A portable microkernel-based multiserver operating system written from scratch.
  ☆1,496Updated last month
• ReturnInfinity / Pure64
  Pure64 is a kernel/software loader for x86-64 systems.
  ☆574Updated 2 months ago
• ozkl / soso
  A Simple Unix-like operating system
  ☆952Updated last week
• thethumbler / Aquila
  AquilaOS: UNIX-like Operating System
  ☆488Updated 4 years ago
• joexbayer / RetrOS-32
  A x86 32bit Hobby Operatingsystem with graphics, multitasking, networking and 32bit C-Compiler for i386 architecture.
  ☆761Updated 3 weeks ago
• managarm / managarm
  Pragmatic microkernel-based OS with fully asynchronous I/O
  ☆1,729Updated this week
• dthain / basekernel
  A simple OS kernel for research, teaching, and fun.
  ☆867Updated last year
• Meulengracht / MollenOS
  MollenOS/Vali is a modern operating system that is built with focus on abstraction and a modular design, allowing anyone to port it to an…
  ☆452Updated 9 months ago
• brutal-org / brutal
  🏢 An operating system inspired by brutalist design that combines the ideals of UNIX from the 1970s with modern technology and engineerin…
  ☆1,078Updated 2 years ago
• qword-os / qword
  Operating system for x86_64 based around a "keep it simple and make it work" philosophy.
  ☆410Updated 4 years ago
• rswier / swieros
  A tiny hand crafted CPU emulator, C compiler, and Operating System
  ☆1,107Updated 4 years ago
• UnmappedStack / TacOS
  An x86_64 UNIX-like OS from scratch
  ☆356Updated 2 months ago
• alexfru / SmallerC
  Simple C compiler
  ☆1,521Updated 8 months ago
• 29jm / SnowflakeOS
  "It is very special"
  ☆320Updated 8 months ago
• ghaerr / elks
  Embeddable Linux Kernel Subset - Linux for 8086
  ☆1,431Updated 3 weeks ago
• cahirwpz / mimiker
  Simple unix-like operating system for education and research purposes
  ☆308Updated last year
• byteduck / duckOS
  An x86 monolithic kernel and operating system written in modern C++. Comes with in-house graphical applications and command line utilitie…
  ☆644Updated last year
• AndrewAPrice / Perception
  A hobby operating system
  ☆104Updated 2 weeks ago
• pdoane / osdev
  Hobby OS project for learning more about low-level hardware (GPUs, networking, USB)
  ☆220Updated 6 years ago
• managarm / mlibc
  Portable C standard library
  ☆978Updated this week
• vvaltchev / tilck
  A Tiny Linux-Compatible Kernel
  ☆2,964Updated last week
• opuntiaOS-Project / opuntiaOS
  opuntiaOS - an operating system targeting x86, ARM and RISC-V.
  ☆667Updated 2 years ago
• tinycorelinux / tinyx
  ☆416Updated 10 months ago
• CorruptedByCPU / Cyjon
  A simple, clean code, multi-tasking kernel written in pure Assembly language for 64-bit processors from the AMD64 family.
  ☆451Updated last year
• p-durlej / newsys
  Vanadium OS
  ☆113Updated 7 years ago
• mentos-team / MentOS
  An educational 32-bit linux-like Operating System, with public bachelor- and master-level course slides.
  ☆216Updated 3 months ago
• Harvey-OS / harvey
  A distributed operating system
  ☆1,450Updated 3 years ago