Alternatives and similar repositories for esp32-microkernel:

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

• bolt-os / spark
  A 64-bit bootloader for RISC-V
  ☆15Updated last year
• managarm / lil
  Lightweight Intel gpu Library
  ☆47Updated 3 months ago
• ethan4984 / pastoral
  hobby OS unix-clone
  ☆38Updated 5 months ago
• tristanseifert / kush-os
  the kool useful system helper – a from-scratch hobby OS written in C++20
  ☆15Updated 2 years ago
• rdmsr / tinyvmem
  Implementation of the VMem Resource Allocator
  ☆16Updated last year
• NetaScale / SCAL-UX
  SCAL/UX, a hobby Unix-like operating system
  ☆19Updated 2 years ago
• N00byEdge / bootelf
  ☆33Updated 3 months ago
• vex-os / vex
  The mighty 64-bit kernel
  ☆35Updated 3 months ago
• Kyota-exe / Tonix
  Modern UNIX-like x86_64 operating system and kernel written in C++
  ☆51Updated 2 years ago
• GrieferAtWork / KOSmk4
  Kaos Operating System 400
  ☆23Updated last week
• lowlevelmemes / acpi-shutdown-hack
  ☆18Updated last year
• rdmsr / tisix
  Tiny and portable microkernel
  ☆16Updated 3 years ago
• FlorenceOS / BED
  Baremetal Embeddable Debugger
  ☆12Updated 2 years ago
• davmac314 / tosaithe
  Very minimalistic UEFI boot menu / kernel bootloader
  ☆28Updated 4 months ago
• UltraOS / Hyper
  A modern x86/ARM bootloader supporting both BIOS and UEFI
  ☆38Updated 4 months ago
• rdmsr / tinyefi
  Tiny public domain EFI library
  ☆13Updated last year
• rdmsr / tinyubsan
  Tiny libubsan implementation for hobby kernels
  ☆31Updated 2 years ago
• Keyronex / Keyronex
  The Keyronex Operating System
  ☆78Updated this week
• sleepy-monax / vtconsole
  🎨 An ansi escape code parser and renderer for hobby operating systems
  ☆44Updated 3 years ago
• vineyard-os / vineyard
  A work-in-progress hobby operating system.
  ☆19Updated 4 years ago
• DeanoBurrito / smoldtb
  Tiny and portable device tree parser, written in C.
  ☆15Updated this week
• Takao-OS / Takao
  A kernel made with love, and lots of D.
  ☆20Updated 3 years ago
• iProgramMC / Boron
  The Boron Operating System - an experimental SMP operating system inspired by a particular 1990s workstation OS
  ☆45Updated 4 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.
  ☆89Updated this week
• CorruptedByCPU / Fern-Night
  Suspended until Cyjon refactorization finnish.
  ☆19Updated 5 months ago
• portasynthinca3 / neutron
  A very simple operating system in C for UEFI-enabled x86-64 systems
  ☆20Updated 4 years ago
• mental32 / osdev
  A collection of resources to be used with embedded, kernel or systems development.
  ☆15Updated 4 years ago
• osdev0 / libgcc-binaries
  Precompiled binaries of the libgcc GCC/clang runtime support library.
  ☆10Updated 2 months ago
• uDrivers / uDRM
  Portable DRM-compatible device drivers for GPUs
  ☆16Updated 2 weeks ago