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
  ☆802Updated 2 weeks ago
• maxdev1 / ghost
  Ghost, a micro-kernel based hobby operating system.
  ☆641Updated last week
• mikaku / Fiwix
  A UNIX-like kernel for the i386 architecture
  ☆595Updated this week
• ReturnInfinity / Pure64
  Pure64 is a kernel/software loader for x86-64 systems.
  ☆574Updated last month
• HelenOS / helenos
  A portable microkernel-based multiserver operating system written from scratch.
  ☆1,518Updated this week
• ozkl / soso
  A Simple Unix-like operating system
  ☆969Updated 2 months ago
• joexbayer / RetrOS-32
  A x86 32bit Hobby Operatingsystem with graphics, multitasking, networking and 32bit C-Compiler for i386 architecture.
  ☆770Updated last week
• thethumbler / Aquila
  AquilaOS: UNIX-like Operating System
  ☆491Updated 4 years ago
• rswier / swieros
  A tiny hand crafted CPU emulator, C compiler, and Operating System
  ☆1,111Updated 4 years ago
• UnmappedStack / TacOS
  Mirror of my from-scratch x86_64 UNIX-like OS.
  ☆389Updated last month
• managarm / managarm
  Pragmatic microkernel-based OS with fully asynchronous I/O
  ☆1,828Updated this 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…
  ☆453Updated last year
• alexfru / SmallerC
  Simple C compiler
  ☆1,541Updated 11 months ago
• tinycorelinux / tinyx
  ☆431Updated last year
• qword-os / qword
  Operating system for x86_64 based around a "keep it simple and make it work" philosophy.
  ☆411Updated 5 years ago
• codyd51 / axle
  Message-passing kernel + userspace
  ☆638Updated last year
• genodelabs / genode
  Genode OS Framework
  ☆1,181Updated this week
• dthain / basekernel
  A simple OS kernel for research, teaching, and fun.
  ☆887Updated last year
• adriancable / 8086tiny
  Official repository for 8086tiny: a tiny PC emulator/virtual machine
  ☆1,057Updated 3 years ago
• managarm / mlibc
  Portable C standard library
  ☆1,024Updated 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,089Updated 2 years ago
• mig-hub / mikeOS
  Mirror for MikeOS 4.5 - Simple and educational Operating System written by Mike Saunders
  ☆414Updated 3 years ago
• pdoane / osdev
  Hobby OS project for learning more about low-level hardware (GPUs, networking, USB)
  ☆221Updated 6 years ago
• lux-operating-system / kernel
  Portable asynchronous microkernel with multiprocessor priority scheduling and Unix-like abstractions
  ☆183Updated 9 months ago
• cahirwpz / mimiker
  Simple unix-like operating system for education and research purposes
  ☆309Updated last year
• opuntiaOS-Project / opuntiaOS
  opuntiaOS - an operating system targeting x86, ARM and RISC-V.
  ☆668Updated 2 years ago
• p-durlej / newsys
  Vanadium OS
  ☆113Updated 7 years ago
• ghaerr / elks
  Embeddable Linux Kernel Subset - Linux for 8086
  ☆1,477Updated 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, …
  ☆681Updated 3 months ago
• 29jm / SnowflakeOS
  "It is very special"
  ☆316Updated 11 months ago