Alternatives and similar repositories for kernel:

Users that are interested in kernel are comparing it to the libraries listed below

• vincenthouyi / LakeOS
  A L4-like micro-kernel OS written in Rust
  ☆59Updated last year
• nanvix / nanvix
  Microkernel-Based Research Operating System
  ☆137Updated this week
• DeanoBurrito / northport
  Monolithic kernel, drivers and support libraries for x86_64, riscv64 and m68k.
  ☆89Updated this week
• vex-os / vex
  The mighty 64-bit kernel
  ☆35Updated 3 months ago
• rafalmiel / cykusz-rs
  Toy operating system written in Rust
  ☆22Updated this week
• heatd / Onyx
  UNIX-like operating system written in C and C++
  ☆86Updated this week
• Keyronex / Keyronex
  The Keyronex Operating System
  ☆78Updated this week
• aar10n / osdev
  64-bit UNIX hobby operating system with a UEFI bootloader
  ☆78Updated 2 months ago
• jasondyoungberg / limine-rs
  Rust crate for parsing the limine boot protocol structures.
  ☆49Updated last week
• mintsuki / flanterm
  Fast and reasonably complete (framebuffer) terminal emulator.
  ☆88Updated this week
• FlorenceOS / BED
  Baremetal Embeddable Debugger
  ☆12Updated 2 years ago
• kiznit / rainbow-os
  Rainbow OS
  ☆57Updated this week
• Dentosal / rust_os
  My hobby operating system microkernel written in Rust
  ☆43Updated last year
• twd2 / riscv-osdev
  Hello RISC-V 64!
  ☆17Updated 6 years ago
• managarm / lai
  LAI is an interpreter for AML, the ACPI Machine Language.
  ☆176Updated 10 months ago
• ethan4984 / pastoral
  hobby OS unix-clone
  ☆38Updated 5 months ago
• levex / levos7
  A UNIX-like hobby kernel, running binutils, dash, GCC and ncurses, with an alright TCP/IP stack.
  ☆64Updated 7 years ago
• bolt-os / spark
  A 64-bit bootloader for RISC-V
  ☆15Updated last year
• iProgramMC / Boron
  The Boron Operating System - an experimental SMP operating system inspired by a particular 1990s workstation OS
  ☆45Updated 4 months ago
• davmac314 / tosaithe
  Very minimalistic UEFI boot menu / kernel bootloader
  ☆28Updated 4 months ago
• mintsuki / jinx
  Meta-build-system for bootstrapping operating system distributions.
  ☆56Updated last week
• josehu07 / hux-kernel
  The Hux x86 32-bit Toy Operating System Kernel (with full wiki pages)
  ☆69Updated 3 years ago
• kernkonzept / fiasco
  The development version of the L4Re Microkernel
  ☆113Updated this week
• Tix3Dev / apoptOS
  A modern x86_64 UNIX-like microkernel-based operating system
  ☆63Updated 2 years ago
• doug65536 / dgos
  Operating System
  ☆132Updated 2 years ago
• MacaronOS / Macaron
  A sweet hobby made operating system written in C++ for x86 CPUs with GUI
  ☆46Updated last year
• 64 / ByteOS
  A simple hobby operating system for the x86-64 architecture
  ☆69Updated 3 years ago
• justinian / jsix
  A hobby operating system for x86_64, boots with UEFI.
  ☆68Updated 5 months ago
• TomatOrg / TomatOS
  An experimental dotnet based kernel
  ☆39Updated 3 weeks ago
• managarm / xbstrap
  Build system for OS distributions
  ☆63Updated 2 weeks ago