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 9 months ago
• rdmsr / tisix
  Tiny and portable microkernel
  ☆16Updated 3 years ago
• rdmsr / tinyvmem
  Implementation of the VMem Resource Allocator
  ☆16Updated 2 years ago
• rdmsr / tinyefi
  Tiny public domain EFI library
  ☆13Updated 2 years 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)
  ☆16Updated 2 years ago
• lowlevelmemes / acpi-shutdown-hack
  ☆18Updated last year
• managarm / lil
  Lightweight Intel gpu Library
  ☆48Updated 7 months ago
• osdev0 / nyu-efi
  Moved to codeberg: https://codeberg.org/osdev/nyu-efi
  ☆31Updated 2 months ago
• N00byEdge / bootelf
  ☆34Updated 7 months ago
• limine-bootloader / limine-cxx-template
  A simple template for building a Limine-compliant kernel in C++.
  ☆16Updated last month
• Moldytzu / mOS
  Operating system written in C. Monolithic kernel design.
  ☆28Updated last year
• coderarjob / meghaos-x86
  MeghaOS is a 32 bit, protected mode Operating System for the Intel x86 architecture.
  ☆22Updated 2 months ago
• vex-os / vex
  The mighty 64-bit kernel
  ☆35Updated 7 months ago
• sleepy-monax / vtconsole
  🎨 An ansi escape code parser and renderer for hobby operating systems
  ☆44Updated 4 years ago
• avdgrinten / riscv-toy-os
  RISC-V toy operating system developed on live stream
  ☆16Updated 3 years ago
• streaksu / slibc
  POSIX-compatible libc meant for ease of porting and performance for hobbyist OSes
  ☆13Updated 4 years ago
• rdmsr / tinyubsan
  Tiny libubsan implementation for hobby kernels
  ☆32Updated 3 years ago
• CorruptedByCPU / Fern-Night
  Suspended until Cyjon refactorization finnish.
  ☆19Updated 9 months ago
• NetaScale / SCAL-UX
  SCAL/UX, a hobby Unix-like operating system
  ☆19Updated 2 years ago
• portasynthinca3 / bootsect
  A collection of simple boot sector applications written in NASM for IBM PC-compatibles
  ☆17Updated last year
• posnk / posnk
  An operating system project.
  ☆54Updated 2 years ago
• davmac314 / tosaithe
  Very minimalistic UEFI boot menu / kernel bootloader
  ☆31Updated 8 months ago
• DeanoBurrito / smoldtb
  Tiny and portable device tree parser, written in C.
  ☆16Updated 4 months ago
• ricercaOS / ricerca
  Ricerca research kernel project to learn more about SMP, load balancing and NUMA
  ☆10Updated 3 years ago
• 48cf / zigux
  Zigux is an attempt to write a UNIX-like kernel in Zig
  ☆30Updated 10 months ago
• 48cf / jinix
  linux distro but with jinx or something
  ☆18Updated 2 weeks ago
• borrrden / borrrdex
  My progress following and expanding on the ponchoOS tutorials
  ☆13Updated 3 years ago
• GrieferAtWork / KOSmk4
  KOS (Kay-OS) Operating System 400
  ☆24Updated this week
• bolt-os / spark
  A 64-bit bootloader for RISC-V
  ☆15Updated last year
• theverygaming / vix
  ☆28Updated 2 months ago