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
  ☆748Updated this week
• ReturnInfinity / Pure64
  Pure64 is a kernel/software loader for x86-64 systems.
  ☆565Updated 3 weeks ago
• maxdev1 / ghost
  Ghost, a micro-kernel based hobby operating system.
  ☆634Updated 2 months ago
• mikaku / Fiwix
  A UNIX-like kernel for the i386 architecture
  ☆547Updated this week
• HelenOS / helenos
  A portable microkernel-based multiserver operating system written from scratch.
  ☆1,480Updated this week
• managarm / mlibc
  Portable C standard library
  ☆960Updated last week
• 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…
  ☆450Updated 6 months ago
• managarm / managarm
  Pragmatic microkernel-based OS with fully asynchronous I/O
  ☆1,693Updated last week
• tinycorelinux / tinyx
  ☆405Updated 7 months ago
• thethumbler / Aquila
  AquilaOS: UNIX-like Operating System
  ☆486Updated 4 years ago
• rswier / swieros
  A tiny hand crafted CPU emulator, C compiler, and Operating System
  ☆1,104Updated 4 years ago
• alexfru / SmallerC
  Simple C compiler
  ☆1,490Updated 6 months ago
• joexbayer / RetrOS-32
  A x86 32bit Hobby Operatingsystem with graphics, multitasking, networking and 32bit C-Compiler for i386 architecture.
  ☆746Updated last week
• cahirwpz / mimiker
  Simple unix-like operating system for education and research purposes
  ☆306Updated 9 months ago
• davidgiven / ack
  The Amsterdam Compiler Kit
  ☆481Updated 3 weeks ago
• ozkl / soso
  A Simple Unix-like operating system
  ☆938Updated last week
• genodelabs / genode
  Genode OS Framework
  ☆1,129Updated this week
• opuntiaOS-Project / opuntiaOS
  opuntiaOS - an operating system targeting x86, ARM and RISC-V.
  ☆669Updated 2 years ago
• adriancable / 8086tiny
  Official repository for 8086tiny: a tiny PC emulator/virtual machine
  ☆1,026Updated 2 years ago
• davxy / beeos
  A simple Unix-like kernel trying to be POSIX compliant
  ☆135Updated 10 months ago
• qword-os / qword
  Operating system for x86_64 based around a "keep it simple and make it work" philosophy.
  ☆411Updated 4 years ago
• pdoane / osdev
  Hobby OS project for learning more about low-level hardware (GPUs, networking, USB)
  ☆219Updated 6 years ago
• codyd51 / axle
  Message-passing kernel + userspace
  ☆633Updated last year
• UnmappedStack / TacOS
  An x86_64 UNIX-like OS from scratch
  ☆345Updated this week
• inferno-os / inferno-os
  Inferno® is a distributed operating system. Inferno represents services and resources in a file-like name hierarchy, including devices, …
  ☆634Updated 4 months ago
• mig-hub / mikeOS
  Mirror for MikeOS 4.5 - Simple and educational Operating System written by Mike Saunders
  ☆389Updated 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.
  ☆445Updated 9 months ago
• Lyre-OS / Lyre
  UNIX-like kernel and distro written from scratch
  ☆8Updated 3 months ago
• 29jm / SnowflakeOS
  "It is very special"
  ☆320Updated 5 months ago
• larmel / lacc
  A simple, self-hosting C compiler
  ☆954Updated 3 years ago