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
• Keyronex / Keyronex
  The Keyronex Operating System
  ☆77Updated 3 months ago
• DeanoBurrito / smoldtb
  Tiny and portable device tree parser, written in C.
  ☆22Updated 10 months ago
• Jimx- / lyos
  Yet another cross-platform microkernel operating system, runs on x86/x86_64, arm64 and RISC-V
  ☆74Updated 7 months ago
• Moldytzu / mOS
  Operating system written in C. Monolithic kernel design.
  ☆27Updated 2 years ago
• heatd / Onyx
  UNIX-like operating system written in C and C++
  ☆92Updated this week
• bolt-os / spark
  A 64-bit bootloader for RISC-V
  ☆16Updated 2 years ago
• managarm / lil
  Lightweight Intel gpu Library
  ☆51Updated last year
• osdev0 / wiki
  Modern OS Development wiki.
  ☆64Updated 2 years ago
• kiznit / rainbow-os
  Rainbow OS
  ☆59Updated 4 months ago
• mintsuki / flanterm
  Fast and reasonably complete (framebuffer) terminal emulator.
  ☆108Updated 3 months ago
• vex-os / vex
  The mighty 64-bit kernel
  ☆35Updated 4 months ago
• TomatOrg / TomatOS
  An experimental dotnet based kernel
  ☆39Updated 3 weeks ago
• aar10n / osdev
  64-bit UNIX hobby operating system with a UEFI bootloader and a Linux compatible syscall interface. Runs DOOM.
  ☆105Updated this week
• Tix3Dev / apoptOS
  A modern x86_64 UNIX-like microkernel-based operating system
  ☆65Updated 3 years ago
• davmac314 / tosaithe
  Very minimalistic UEFI boot menu / kernel bootloader
  ☆31Updated 5 months ago
• managarm / xbstrap
  Build system for OS distributions
  ☆66Updated last month
• Kyota-exe / Tonix
  Modern UNIX-like x86_64 operating system and kernel written in C++
  ☆51Updated 3 years ago
• rdmsr / tinyvmem
  Implementation of the VMem Resource Allocator
  ☆16Updated 2 years ago
• DeanoBurrito / northport
  Monolithic kernel, drivers and support libraries for x86_64 and m68k.
  ☆97Updated 2 weeks ago
• N00byEdge / bootelf
  ☆34Updated last year
• Alessandro-Salerno / SalernOS-Kernel
  Almost usable x86-64 Unix-like kernel
  ☆39Updated last month
• vineyard-os / vineyard
  A work-in-progress hobby operating system.
  ☆22Updated 5 years ago
• osdev0 / nyu-efi
  Moved to codeberg: https://codeberg.org/PicoEFI/PicoEFI
  ☆30Updated 3 months ago
• UltraOS / Hyper
  A modern x86/ARM bootloader supporting both BIOS and UEFI
  ☆51Updated 8 months ago
• Moldytzu / GaOS
  Gallium Operating System
  ☆13Updated last week
• lightning-speed / AtomOS
  An x86 Operating System written in C++ and C
  ☆22Updated 3 years ago
• managarm / lai
  LAI is an interpreter for AML, the ACPI Machine Language.
  ☆188Updated 3 weeks ago
• NetaScale / SCAL-UX
  SCAL/UX, a hobby Unix-like operating system
  ☆19Updated 3 years ago
• MacaronOS / Macaron
  A sweet hobby made operating system written in C++ for x86 CPUs with GUI
  ☆46Updated 2 years ago