Alternatives and similar repositories for MisraOS

Users that are interested in MisraOS are comparing it to the libraries listed below

• pgrAm / JSD-OS
  A small operating system for 32 bit x86
  ☆61Updated 3 years ago
• rdmsr / tisix
  Tiny and portable microkernel
  ☆16Updated 3 years ago
• maxtyson123 / MaxOS
  A 64bit hobby operating system written in C++
  ☆53Updated last week
• N00byEdge / bootelf
  ☆33Updated 10 months ago
• Tix3Dev / apoptOS
  A modern x86_64 UNIX-like microkernel-based operating system
  ☆66Updated 2 years ago
• XyrisOS / xyris
  The Xyris Kernel
  ☆153Updated 2 years ago
• vex-os / vex
  The mighty 64-bit kernel
  ☆35Updated last month
• rdmsr / tinyubsan
  Tiny libubsan implementation for hobby kernels
  ☆32Updated 3 years ago
• managarm / frigg
  Lightweight C++ utilities and algorithms for system programming
  ☆61Updated this week
• FireflyOS / Firefly-Kernel
  Kernel for FireflyOS to help beginners learn about osdev hands on.
  ☆55Updated 2 years ago
• scalaview / spectra
  A 64bit operating system kernel with graphical user interface.
  ☆37Updated 2 years ago
• RobbeDGreef / yanix
  Yanix is a UNIX-like kernel / operating system build completely from scratch
  ☆84Updated 3 years ago
• Bonfra04 / BonsOS
  ☆19Updated last year
• osdev0 / wiki
  Modern OS Development wiki.
  ☆63Updated 2 years ago
• DeanoBurrito / northport
  Monolithic kernel, drivers and support libraries for x86_64 and m68k.
  ☆97Updated this week
• tehybel / osdev
  An x86 OS written from scratch in C
  ☆36Updated 7 years ago
• WivOS / WivOS
  A new hobby operating system made with velocity in mind :D
  ☆23Updated 6 months ago
• ilobilo / kernel
  My first kernel written in C++
  ☆157Updated last month
• GandelXIV / pidi-os
  A minimalistic operating system
  ☆40Updated 2 years ago
• AtieP / Vigil
  An x86_64 operating system
  ☆19Updated 4 years ago
• CPL-1 / CPL-1
  Operating system in C written for fun and glory
  ☆32Updated 4 years ago
• alpn / x86_starterkit
  👷🏻‍♂️ An easy starting point for your first OS/Kernel
  ☆35Updated 4 years ago
• chocabloc / aeolos
  A little x86_64 hobby OS
  ☆17Updated 3 years ago
• posnk / posnk
  An operating system project.
  ☆54Updated 2 years ago
• AndreVallestero / minimal-efi
  A bare-bones minimal executable application for efi on the x64 platform
  ☆56Updated 2 years ago
• itamar8910 / DarkForest
  x86 operating system
  ☆36Updated 2 years ago
• tailix / libkernaux
  Auxiliary library for kernel development
  ☆29Updated 2 years ago
• MacaronOS / Macaron
  A sweet hobby made operating system written in C++ for x86 CPUs with GUI
  ☆46Updated 2 years ago
• KamalDevelopers / GodsEyeView
  The next most holy operating system.
  ☆55Updated 5 months ago
• ringwormGO-organization / ringOS
  ringOS source code
  ☆36Updated 11 months ago