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
  ☆860Updated last week
• maxdev1 / ghost
  Ghost, a micro-kernel based hobby operating system.
  ☆641Updated 2 months ago
• mikaku / Fiwix
  A UNIX-like kernel for the i386 architecture
  ☆616Updated this week
• HelenOS / helenos
  A portable microkernel-based multiserver operating system written from scratch.
  ☆1,529Updated last week
• ReturnInfinity / Pure64
  Pure64 is a kernel/software loader for x86-64 systems.
  ☆580Updated 3 months ago
• ozkl / soso
  A Simple Unix-like operating system
  ☆975Updated 4 months 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…
  ☆451Updated last year
• thethumbler / Aquila
  AquilaOS: UNIX-like Operating System
  ☆487Updated 5 years ago
• joexbayer / RetrOS-32
  A x86 32bit Hobby Operatingsystem with graphics, multitasking, networking and 32bit C-Compiler for i386 architecture.
  ☆809Updated last month
• dthain / basekernel
  A simple OS kernel for research, teaching, and fun.
  ☆899Updated 3 weeks ago
• managarm / managarm
  Pragmatic microkernel-based OS with fully asynchronous I/O
  ☆1,853Updated last week
• cahirwpz / mimiker
  Simple unix-like operating system for education and research purposes
  ☆310Updated last year
• UnmappedStack / TacOS
  Mirror of my from-scratch x86_64 UNIX-like OS.
  ☆395Updated 3 months ago
• managarm / mlibc
  Portable C standard library
  ☆1,043Updated last 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,094Updated 2 years ago
• qword-os / qword
  Operating system for x86_64 based around a "keep it simple and make it work" philosophy.
  ☆407Updated 5 years ago
• genodelabs / genode
  Genode OS Framework
  ☆1,199Updated last week
• rswier / swieros
  A tiny hand crafted CPU emulator, C compiler, and Operating System
  ☆1,115Updated 5 years ago
• opuntiaOS-Project / opuntiaOS
  opuntiaOS - an operating system targeting x86, ARM and RISC-V.
  ☆668Updated 2 years ago
• alexfru / SmallerC
  Simple C compiler
  ☆1,546Updated last year
• pdoane / osdev
  Hobby OS project for learning more about low-level hardware (GPUs, networking, USB)
  ☆223Updated 6 years ago
• tinycorelinux / tinyx
  ☆445Updated last year
• p-durlej / newsys
  Vanadium OS
  ☆119Updated 7 years ago
• AndrewAPrice / Perception
  A hobby operating system
  ☆105Updated last month
• 29jm / SnowflakeOS
  "It is very special"
  ☆316Updated last year
• exscape / exscapeOS
  A hobby OS written in assembly (nasm) and C. Small, realistic goals.
  ☆58Updated 9 years ago
• levex / osdev
  Fourth rewrite of LevOS, aiming for POSIX compliance.
  ☆233Updated 12 years ago
• vvaltchev / tilck
  A Tiny Linux-Compatible Kernel
  ☆3,054Updated last week
• 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…
  ☆427Updated this week
• lux-operating-system / kernel
  Portable asynchronous microkernel with multiprocessor priority scheduling and Unix-like abstractions
  ☆188Updated last year