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
  ☆38Updated 7 months ago
• rdmsr / tinyvmem
  Implementation of the VMem Resource Allocator
  ☆16Updated 2 years ago
• NetaScale / SCAL-UX
  SCAL/UX, a hobby Unix-like operating system
  ☆19Updated 2 years ago
• tristanseifert / kush-os
  the kool useful system helper – a from-scratch hobby OS written in C++20
  ☆15Updated 2 years ago
• managarm / lil
  Lightweight Intel gpu Library
  ☆48Updated 5 months ago
• vex-os / vex
  The mighty 64-bit kernel
  ☆35Updated 5 months ago
• lowlevelmemes / acpi-shutdown-hack
  ☆18Updated last year
• CorruptedByCPU / Fern-Night
  Suspended until Cyjon refactorization finnish.
  ☆19Updated 7 months ago
• GENADEV / GENADEV_OS
  An AArch64 hobbyist OS for the Raspberry Pi 3 B+
  ☆18Updated 3 years ago
• rdmsr / tinyubsan
  Tiny libubsan implementation for hobby kernels
  ☆31Updated 3 years ago
• DeanoBurrito / smoldtb
  Tiny and portable device tree parser, written in C.
  ☆16Updated 2 months ago
• twd2 / riscv-osdev
  Hello RISC-V 64!
  ☆17Updated 7 years ago
• N00byEdge / bootelf
  ☆34Updated 5 months ago
• heatd / Onyx
  UNIX-like operating system written in C and C++
  ☆90Updated last week
• MacaronOS / Macaron
  A sweet hobby made operating system written in C++ for x86 CPUs with GUI
  ☆46Updated 2 years ago
• bolt-os / spark
  A 64-bit bootloader for RISC-V
  ☆15Updated last year
• rdmsr / tinyefi
  Tiny public domain EFI library
  ☆13Updated 2 years ago
• uDrivers / uDRM
  Portable DRM-compatible device drivers for GPUs
  ☆17Updated 2 months ago
• ricercaOS / ricerca
  Ricerca research kernel project to learn more about SMP, load balancing and NUMA
  ☆10Updated 3 years ago
• DeanoBurrito / northport
  Monolithic kernel, drivers and support libraries for x86_64, riscv64 and m68k.
  ☆92Updated this week
• lezione-os / lezione
  Lezione Operating System
  ☆10Updated 3 years ago
• TomatOrg / TomatOS
  An experimental dotnet based kernel
  ☆39Updated 3 months ago
• Keyronex / Keyronex
  The Keyronex Operating System
  ☆78Updated last month
• Moldytzu / GaOS
  Gallium Operating System
  ☆13Updated 3 months ago
• FlorenceOS / BED
  Baremetal Embeddable Debugger
  ☆12Updated 3 years ago
• Takao-OS / Takao
  A kernel made with love, and lots of D.
  ☆20Updated 3 years ago
• managarm / xbstrap
  Build system for OS distributions
  ☆63Updated 3 weeks ago
• Qwinci / crescent
  A custom OS distribution
  ☆20Updated 3 months ago
• V01D-NULL / limine-terminal-port
  A port of the limine terminal which won't interfere with any user level address spaces (i.e. it's not in lower half memory anymore)
  ☆15Updated 2 years ago
• WivOS / WivOS
  A new hobby operating system made with velocity in mind :D
  ☆22Updated last month