Alternatives and similar repositories for esp32-microkernel

Users that are interested in esp32-microkernel are comparing it to the libraries listed below

• ethan4984 / pastoral
  hobby OS unix-clone
  ☆39Updated last year
• vex-os / kernel
  The mentally unstable 64-bit kernel
  ☆35Updated last month
• Moldytzu / mOS
  Operating system written in C. Monolithic kernel design.
  ☆26Updated 2 years ago
• DeanoBurrito / smoldtb
  Tiny and portable device tree parser, written in C.
  ☆22Updated last year
• mintsuki / flanterm
  Fast and reasonably complete (framebuffer) terminal emulator.
  ☆109Updated 5 months ago
• Keyronex / Keyronex
  The Keyronex Operating System
  ☆80Updated last month
• N00byEdge / bootelf
  ☆34Updated last year
• TomatOrg / TomatOS
  An experimental dotnet based kernel
  ☆39Updated 3 months ago
• osdev0 / wiki
  Modern OS Development wiki.
  ☆66Updated 2 years ago
• heatd / Onyx
  UNIX-like operating system written in C and C++
  ☆92Updated 2 months ago
• rdmsr / tinyvmem
  Implementation of the VMem Resource Allocator
  ☆17Updated 2 years ago
• Tix3Dev / apoptOS
  A modern x86_64 UNIX-like microkernel-based operating system
  ☆66Updated 3 years ago
• rdmsr / tinyubsan
  Tiny libubsan implementation for hobby kernels
  ☆33Updated 3 years ago
• FlorenceOS / Sabaton
  aarch64 stivale2 bootloader
  ☆49Updated 3 years ago
• managarm / lil
  Lightweight Intel gpu Library
  ☆52Updated last year
• Moldytzu / GaOS
  Gallium Operating System
  ☆13Updated 2 months ago
• davmac314 / tosaithe
  Very minimalistic UEFI boot menu / kernel bootloader
  ☆32Updated 7 months ago
• portasynthinca3 / neutron
  A very simple operating system in C for UEFI-enabled x86-64 systems
  ☆20Updated 3 weeks ago
• Kyota-exe / Tonix
  Modern UNIX-like x86_64 operating system and kernel written in C++
  ☆50Updated 3 years ago
• MacaronOS / Macaron
  A sweet hobby made operating system written in C++ for x86 CPUs with GUI
  ☆46Updated 3 years ago
• lowlevelmemes / acpi-shutdown-hack
  ☆18Updated 3 months ago
• osdev0 / nyu-efi
  Moved to codeberg: https://codeberg.org/PicoEFI/PicoEFI
  ☆30Updated 5 months ago
• DeanoBurrito / northport
  Monolithic kernel, drivers and support libraries for x86_64 and m68k.
  ☆97Updated this week
• FlorenceOS / BED
  Baremetal Embeddable Debugger
  ☆12Updated 3 years ago
• bolt-os / spark
  A 64-bit bootloader for RISC-V
  ☆16Updated 2 years ago
• osdev0 / freestnd-c-hdrs-0bsd
  Collection of 0BSD-licensed freestanding C headers for GCC and Clang.
  ☆25Updated 5 months ago
• managarm / lai
  LAI is an interpreter for AML, the ACPI Machine Language.
  ☆186Updated 2 months ago
• xrarch / xremu
  XR/station emulator written in C with SDL.
  ☆41Updated 2 months ago
• ChaiSoft / ChaiOS
  Modular multi-platform hobby OS. Hybrid kernel, largely monolithic. Kernel C library is dynamically linked. Chai from Hebrew for "living …
  ☆43Updated last week
• posnk / posnk
  An operating system project.
  ☆54Updated 3 years ago