Alternatives and similar repositories for CKernel

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

• devekar / Bootloader
  A simple bootloader for linux kernel
  ☆25Updated 12 years ago
• Jimx- / lyos
  Yet another cross-platform microkernel operating system, runs on x86/x86_64, arm64 and RISC-V
  ☆75Updated 8 months ago
• AmbiML / sparrow-kernel
  The seL4 microkernel
  ☆26Updated 2 years ago
• jserv / xv6-x86_64
  re-implementation of UNIX v6 in ANSI C for x86_64 SMP
  ☆192Updated 2 years ago
• 0xffea / MINIX3
  MINIX 3 is a free, open-source, operating system designed to be highly reliable, flexible, and secure. http://www.minix3.org
  ☆134Updated 2 years ago
• chobits / tinyos
  a tiny monolithic kernel
  ☆63Updated 9 years ago
• nikhilroxtomar / Simple-Operating-System-from-Scratch
  A simple operating system build from scratch using C and assembly language. The code includes a make file that will help you to run this …
  ☆26Updated 5 years ago
• marcosptf / menuetos
  fan respository - not official - os linux made with assembly language
  ☆96Updated 10 years ago
• davxy / beeos
  A simple Unix-like kernel trying to be POSIX compliant
  ☆138Updated last year
• travisg / newos
  The NewOS Operating System
  ☆230Updated 10 years ago
• justinian / jsix
  A hobby operating system for x86_64, boots with UEFI.
  ☆70Updated last month
• michael2012z / Sparrow
  My Operating System.
  ☆81Updated 11 years ago
• tehybel / osdev
  An x86 OS written from scratch in C
  ☆36Updated 8 years ago
• tishion / PiscisOS
  A tiny operating system based on x86 architecture.
  ☆94Updated 5 months ago
• fysnet / FYSOS
  The FYSOS Operating System
  ☆130Updated 3 months ago
• levex / levos7
  A UNIX-like hobby kernel, running binutils, dash, GCC and ncurses, with an alright TCP/IP stack.
  ☆66Updated 8 years ago
• Dentosal / rust_os
  My hobby operating system microkernel written in Rust
  ☆46Updated 3 months ago
• dreamos82 / DreamOs
  A small 32 bit Operating system written from scratch
  ☆92Updated 2 years ago
• pykello / arunos
  A simple operating system for ARM processors
  ☆136Updated 5 years ago
• swetland / xv6
  64bit port of xv6
  ☆136Updated 6 years ago
• beevik / MonkOS
  an experimental 64-bit operating system
  ☆137Updated last year
• doug65536 / dgos
  Operating System
  ☆135Updated 3 years ago
• naegelejd / duneOS
  A simple UNIX-like operating system
  ☆43Updated 10 years ago
• bit-hack / riscv-vm
  A Small RISC-V Virtual Machine
  ☆92Updated 3 years ago
• iknowbrain / NIDOS
  A Simple operating system meant for educational purposes.
  ☆38Updated 2 years ago
• mariuz / linux-0.01
  compilable linux-0.01
  ☆99Updated last month
• vladdie93 / TempleOS
  Advancing the 64-Bit Temple Operating System into the future.
  ☆18Updated 7 years ago
• SynestiaOS / SynestiaOS
  The Synestia Operating System
  ☆43Updated 4 years ago
• mmxsrup / ahci-baremetal-driver
  SATA AHCI baremetal driver
  ☆23Updated 6 years ago
• dbittman / seakernel
  Modular kernel built for simplicity
  ☆94Updated 8 years ago