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
  ☆855Updated this week
• HelenOS / helenos
  A portable microkernel-based multiserver operating system written from scratch.
  ☆1,530Updated last month
• maxdev1 / ghost
  Ghost, a micro-kernel based hobby operating system.
  ☆641Updated 2 months ago
• ReturnInfinity / Pure64
  Pure64 is a kernel/software loader for x86-64 systems.
  ☆580Updated 3 months ago
• mikaku / Fiwix
  A UNIX-like kernel for the i386 architecture
  ☆614Updated this week
• ozkl / soso
  A Simple Unix-like operating system
  ☆974Updated 4 months ago
• thethumbler / Aquila
  AquilaOS: UNIX-like Operating System
  ☆487Updated 5 years ago
• managarm / managarm
  Pragmatic microkernel-based OS with fully asynchronous I/O
  ☆1,853Updated this week
• alexfru / SmallerC
  Simple C compiler
  ☆1,546Updated last year
• joexbayer / RetrOS-32
  A x86 32bit Hobby Operatingsystem with graphics, multitasking, networking and 32bit C-Compiler for i386 architecture.
  ☆807Updated last month
• 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…
  ☆453Updated last year
• tinycorelinux / tinyx
  ☆444Updated last year
• rswier / swieros
  A tiny hand crafted CPU emulator, C compiler, and Operating System
  ☆1,115Updated 5 years ago
• UnmappedStack / TacOS
  Mirror of my from-scratch x86_64 UNIX-like OS.
  ☆395Updated 3 months ago
• qword-os / qword
  Operating system for x86_64 based around a "keep it simple and make it work" philosophy.
  ☆408Updated 5 years ago
• pdoane / osdev
  Hobby OS project for learning more about low-level hardware (GPUs, networking, USB)
  ☆223Updated 6 years ago
• mig-hub / mikeOS
  Mirror for MikeOS 4.5 - Simple and educational Operating System written by Mike Saunders
  ☆419Updated 3 years ago
• managarm / mlibc
  Portable C standard library
  ☆1,043Updated last week
• genodelabs / genode
  Genode OS Framework
  ☆1,199Updated this week
• dthain / basekernel
  A simple OS kernel for research, teaching, and fun.
  ☆899Updated 3 weeks ago
• adriancable / 8086tiny
  Official repository for 8086tiny: a tiny PC emulator/virtual machine
  ☆1,064Updated 3 years ago
• inferno-os / inferno-os
  Inferno® is a distributed operating system. Inferno represents services and resources in a file-like name hierarchy, including devices, …
  ☆702Updated 5 months ago
• ghaerr / elks
  Embeddable Linux Kernel Subset - Linux for 8086
  ☆1,499Updated this week
• DoctorWkt / pdp7-unix
  A project to resurrect Unix on the PDP-7 from a scan of the original assembly code
  ☆515Updated 2 years ago
• travisg / newos
  The NewOS Operating System
  ☆231Updated 10 years 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,094Updated 2 years ago
• CorruptedByCPU / Cyjon
  A simple, clean code, multi-tasking kernel written in pure Assembly language for 64-bit processors from the AMD64 family.
  ☆452Updated last year
• cahirwpz / mimiker
  Simple unix-like operating system for education and research purposes
  ☆310Updated last year
• KaiNorberg / PatchworkOS
  A modular, non-POSIX operating system for x86_64, built from scratch in C and assembly. Intended to be educational and experimental while…
  ☆425Updated this week
• Harvey-OS / harvey
  A distributed operating system
  ☆1,450Updated 3 years ago