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
  ☆816Updated last month
• maxdev1 / ghost
  Ghost, a micro-kernel based hobby operating system.
  ☆641Updated last month
• HelenOS / helenos
  A portable microkernel-based multiserver operating system written from scratch.
  ☆1,525Updated 3 weeks ago
• ReturnInfinity / Pure64
  Pure64 is a kernel/software loader for x86-64 systems.
  ☆579Updated 2 months ago
• mikaku / Fiwix
  A UNIX-like kernel for the i386 architecture
  ☆608Updated this week
• ozkl / soso
  A Simple Unix-like operating system
  ☆971Updated 3 months ago
• thethumbler / Aquila
  AquilaOS: UNIX-like Operating System
  ☆489Updated 5 years ago
• rswier / swieros
  A tiny hand crafted CPU emulator, C compiler, and Operating System
  ☆1,115Updated 5 years ago
• managarm / managarm
  Pragmatic microkernel-based OS with fully asynchronous I/O
  ☆1,847Updated this week
• genodelabs / genode
  Genode OS Framework
  ☆1,196Updated this week
• alexfru / SmallerC
  Simple C compiler
  ☆1,543Updated last year
• dthain / basekernel
  A simple OS kernel for research, teaching, and fun.
  ☆892Updated this week
• qword-os / qword
  Operating system for x86_64 based around a "keep it simple and make it work" philosophy.
  ☆411Updated 5 years ago
• 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
• UnmappedStack / TacOS
  Mirror of my from-scratch x86_64 UNIX-like OS.
  ☆395Updated 2 months ago
• managarm / mlibc
  Portable C standard library
  ☆1,038Updated this week
• 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,095Updated 2 years ago
• cahirwpz / mimiker
  Simple unix-like operating system for education and research purposes
  ☆310Updated last year
• joexbayer / RetrOS-32
  A x86 32bit Hobby Operatingsystem with graphics, multitasking, networking and 32bit C-Compiler for i386 architecture.
  ☆803Updated 2 weeks ago
• pdoane / osdev
  Hobby OS project for learning more about low-level hardware (GPUs, networking, USB)
  ☆223Updated 6 years ago
• xinu-os / xinu
  Repository for Xinu source code
  ☆458Updated last year
• inferno-os / inferno-os
  Inferno® is a distributed operating system. Inferno represents services and resources in a file-like name hierarchy, including devices, …
  ☆695Updated 4 months ago
• exscape / exscapeOS
  A hobby OS written in assembly (nasm) and C. Small, realistic goals.
  ☆58Updated 9 years ago
• 29jm / SnowflakeOS
  "It is very special"
  ☆315Updated last year
• mig-hub / mikeOS
  Mirror for MikeOS 4.5 - Simple and educational Operating System written by Mike Saunders
  ☆416Updated 3 years ago
• p-durlej / newsys
  Vanadium OS
  ☆114Updated 7 years ago
• opuntiaOS-Project / opuntiaOS
  opuntiaOS - an operating system targeting x86, ARM and RISC-V.
  ☆670Updated 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.
  ☆451Updated last year
• levex / osdev
  Fourth rewrite of LevOS, aiming for POSIX compliance.
  ☆232Updated 12 years ago
• vvaltchev / tilck
  A Tiny Linux-Compatible Kernel
  ☆3,043Updated last week