Alternatives and similar repositories for MisraOS:

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

• osdev0 / nyu-efi-c-template
  Example/template hello world using Nyu-EFI.
  ☆22Updated 2 months ago
• AtieP / Vigil
  An x86_64 operating system
  ☆20Updated 3 years ago
• rdmsr / tisix
  Tiny and portable microkernel
  ☆16Updated 3 years ago
• posnk / posnk
  An operating system project.
  ☆54Updated 2 years ago
• pgrAm / JSD-OS
  A small operating system for 32 bit x86
  ☆59Updated 2 years ago
• ringwormGO-organization / ringOS
  ringOS source code
  ☆36Updated 5 months ago
• Tix3Dev / apoptOS
  A modern x86_64 UNIX-like microkernel-based operating system
  ☆63Updated 2 years ago
• N00byEdge / bootelf
  ☆33Updated 4 months ago
• KamalDevelopers / GodsEyeView
  The next most holy operating system.
  ☆54Updated 5 months ago
• heatd / Onyx
  UNIX-like operating system written in C and C++
  ☆87Updated last week
• vex-os / vex
  The mighty 64-bit kernel
  ☆35Updated 4 months ago
• DeanoBurrito / northport
  Monolithic kernel, drivers and support libraries for x86_64, riscv64 and m68k.
  ☆89Updated this week
• CPL-1 / CPL-1
  Operating system in C written for fun and glory
  ☆34Updated 3 years ago
• catmaster1010 / flan
  if unix was made by a monkey with a typewritter
  ☆16Updated 8 months ago
• Moldytzu / mOS
  Operating system written in C. Monolithic kernel design.
  ☆27Updated last year
• Kyota-exe / Tonix
  Modern UNIX-like x86_64 operating system and kernel written in C++
  ☆51Updated 2 years ago
• AhnJihwan / AhnTri
  Super-simple OS
  ☆58Updated 2 years ago
• pitust / diode
  The home of diodeOS, a kernel (and in the future userland) with the goal of not crashing and getting to userland (and also posix complian…
  ☆13Updated 3 years ago
• managarm / bootstrap-managarm
  Patches and build scripts to build a managarm distribution
  ☆37Updated this week
• managarm / lil
  Lightweight Intel gpu Library
  ☆47Updated 4 months ago
• managarm / frigg
  Lightweight C++ utilities and algorithms for system programming
  ☆57Updated last month
• osdev0 / nyu-efi
  GNU-EFI fork with fixes and improvements.
  ☆30Updated last month
• tailix / libkernaux
  Auxiliary library for kernel development
  ☆30Updated 2 years ago
• lightning-speed / Radical-OS
  Radical kernel source tree
  ☆50Updated 3 years ago
• GandelXIV / pidi-os
  A minimalistic operating system
  ☆39Updated 2 years ago
• Takao-OS / Takao
  A kernel made with love, and lots of D.
  ☆20Updated 3 years ago
• thomtl / Luna
  A Type-1 Hypervisor written in Modern C++
  ☆41Updated last year
• Aeternum-Veritas / Merry
  A 64-bit Virtual Machine that emulates a custom ISA made in C to be used for learning purposes are be tailored to be used as the runtime …
  ☆18Updated last month
• ricercaOS / ricerca
  Ricerca research kernel project to learn more about SMP, load balancing and NUMA
  ☆10Updated 3 years ago
• chocabloc / aeolos
  A little x86_64 hobby OS
  ☆17Updated 2 years ago