Alternatives and similar repositories for CKernel

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

• 0xffea / MINIX3
  MINIX 3 is a free, open-source, operating system designed to be highly reliable, flexible, and secure. http://www.minix3.org
  ☆125Updated 2 years ago
• Jimx- / lyos
  Yet another cross-platform microkernel operating system, runs on x86/x86_64, arm64 and RISC-V
  ☆71Updated 2 months ago
• justinian / jsix
  A hobby operating system for x86_64, boots with UEFI.
  ☆70Updated 10 months ago
• travisg / newos
  The NewOS Operating System
  ☆215Updated 9 years ago
• jserv / xv6-x86_64
  re-implementation of UNIX v6 in ANSI C for x86_64 SMP
  ☆181Updated last year
• gdevic / minix1
  Original Minix 1 sources from the book "Operating Systems: Design and Implementation" 1st ed.
  ☆359Updated 7 years ago
• tanmayv25 / x86-bootloader
  Implementing the bootloader to learn the process
  ☆20Updated 6 years ago
• fysnet / FYSOS
  The FYSOS Operating System
  ☆121Updated 3 weeks ago
• SynestiaOS / SynestiaOS
  The Synestia Operating System
  ☆43Updated 3 years ago
• levex / osdev
  Fourth rewrite of LevOS, aiming for POSIX compliance.
  ☆230Updated 11 years ago
• mariuz / linux-0.01
  compilable linux-0.01
  ☆85Updated 2 years ago
• chillancezen / ZeldaOS
  32bit OS/kernel built from scratch with POSIX.1 compliance
  ☆37Updated 5 years ago
• beevik / MonkOS
  an experimental 64-bit operating system
  ☆136Updated 6 months ago
• doug65536 / dgos
  Operating System
  ☆132Updated 3 years ago
• levex / levos7
  A UNIX-like hobby kernel, running binutils, dash, GCC and ncurses, with an alright TCP/IP stack.
  ☆66Updated 7 years ago
• dreamos82 / DreamOs
  A small 32 bit Operating system written from scratch
  ☆71Updated last year
• kiznit / rainbow-os
  Rainbow OS
  ☆57Updated 5 months ago
• marcosptf / menuetos
  fan respository - not official - os linux made with assembly language
  ☆91Updated 9 years ago
• bit-hack / riscv-vm
  A Small RISC-V Virtual Machine
  ☆80Updated 3 years ago
• strawberryhacker / fat32
  Minimal FAT32 file system implementation
  ☆78Updated 3 months ago
• MarcoCicognani / MeetixOS
  An hobby OS written in modern C++20 which aims to be Unix-like. Currently based on EvangelionNG, a GhostOS derived kernel
  ☆194Updated 2 years ago
• devekar / Bootloader
  A simple bootloader for linux kernel
  ☆24Updated 11 years ago
• rene / tempos
  TempOS Project: TempOS is an educational and multi purpose Operating System
  ☆38Updated 3 years ago
• chobits / tinyos
  a tiny monolithic kernel
  ☆61Updated 8 years ago
• dbittman / seakernel
  Modular kernel built for simplicity
  ☆92Updated 8 years ago
• davxy / beeos
  A simple Unix-like kernel trying to be POSIX compliant
  ☆135Updated 11 months ago
• pdoane / osdev
  Hobby OS project for learning more about low-level hardware (GPUs, networking, USB)
  ☆219Updated 6 years ago
• saneee / yaos
  ☆9Updated 9 years ago
• HasiniSama / pocketOS
  A real-mode x86 operating system that is interrupt-driven and single-tasking.
  ☆28Updated 3 years ago
• vladdie93 / TempleOS
  Advancing the 64-Bit Temple Operating System into the future.
  ☆18Updated 6 years ago