Alternatives and similar repositories for esp32-microkernel:

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

• rdmsr / tinyvmem
  Implementation of the VMem Resource Allocator
  ☆16Updated 2 years ago
• ethan4984 / pastoral
  hobby OS unix-clone
  ☆38Updated 6 months ago
• bolt-os / spark
  A 64-bit bootloader for RISC-V
  ☆15Updated last year
• managarm / lil
  Lightweight Intel gpu Library
  ☆47Updated 4 months ago
• NetaScale / SCAL-UX
  SCAL/UX, a hobby Unix-like operating system
  ☆19Updated 2 years ago
• CorruptedByCPU / Fern-Night
  Suspended until Cyjon refactorization finnish.
  ☆19Updated 6 months ago
• DeanoBurrito / smoldtb
  Tiny and portable device tree parser, written in C.
  ☆15Updated last month
• 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
• tristanseifert / kush-os
  the kool useful system helper – a from-scratch hobby OS written in C++20
  ☆15Updated 2 years ago
• lowlevelmemes / acpi-shutdown-hack
  ☆18Updated last year
• Moldytzu / mOS
  Operating system written in C. Monolithic kernel design.
  ☆27Updated last year
• Keyronex / Keyronex
  The Keyronex Operating System
  ☆78Updated last week
• N00byEdge / bootelf
  ☆33Updated 4 months ago
• kiznit / rainbow-os
  Rainbow OS
  ☆57Updated 3 weeks ago
• N00byEdge / comp
  Attempting to self-host with a high level compiler
  ☆11Updated 2 years ago
• avdgrinten / riscv-toy-os
  RISC-V toy operating system developed on live stream
  ☆16Updated 3 years ago
• osdev0 / libgcc-binaries
  Precompiled binaries of the libgcc GCC/clang runtime support library.
  ☆10Updated 3 weeks ago
• iProgramMC / Boron
  The Boron Operating System - an experimental SMP operating system inspired by a particular 1990s workstation OS
  ☆45Updated this week
• Qwinci / crescent
  A custom OS distribution
  ☆18Updated 2 months ago
• rdmsr / tinyefi
  Tiny public domain EFI library
  ☆13Updated 2 years ago
• vex-os / vex
  The mighty 64-bit kernel
  ☆35Updated 4 months ago
• davmac314 / tosaithe
  Very minimalistic UEFI boot menu / kernel bootloader
  ☆28Updated 5 months ago
• DeanoBurrito / northport
  Monolithic kernel, drivers and support libraries for x86_64, riscv64 and m68k.
  ☆89Updated this week
• rdmsr / tisix
  Tiny and portable microkernel
  ☆16Updated 3 years ago
• TomatOrg / TomatOS
  An experimental dotnet based kernel
  ☆39Updated 2 months ago
• Moldytzu / GaOS
  Gallium Operating System
  ☆13Updated last month
• FlorenceOS / BED
  Baremetal Embeddable Debugger
  ☆12Updated 3 years ago
• menix-os / menix
  A minimal and expandable Unix-like kernel
  ☆23Updated this week
• Takao-OS / Takao
  A kernel made with love, and lots of D.
  ☆20Updated 3 years ago
• iProgramMC / NanoShell64
  The NanoShell64 Operating System - an x86_64 SMP aware OS. Abandoned as of August 20th, 2023, see below link.
  ☆16Updated last year