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
• ESLab / FreeRTOS---ARM-Cortex-A9-VersatileExpress-Quad-Core-port
  FreeRTOS - ARM Cortex-A9 VersatileExpress Quad-Core port
  ☆17Updated 12 years ago
• jserv / xv6-x86_64
  re-implementation of UNIX v6 in ANSI C for x86_64 SMP
  ☆192Updated 2 years ago
• beevik / MonkOS
  an experimental 64-bit operating system
  ☆137Updated last year
• Jimx- / lyos
  Yet another cross-platform microkernel operating system, runs on x86/x86_64, arm64 and RISC-V
  ☆75Updated 9 months ago
• dbittman / seakernel
  Modular kernel built for simplicity
  ☆94Updated 8 years ago
• ghaflims / cortex-a9
  qemu cortex-a9 vexpress-a9 arm
  ☆25Updated last year
• levex / levos7
  A UNIX-like hobby kernel, running binutils, dash, GCC and ncurses, with an alright TCP/IP stack.
  ☆66Updated 8 years ago
• a-darwish / cuteOS
  A 64-bit SMP-safe kernel for the PC architecture.
  ☆89Updated 7 years ago
• travisg / newos
  The NewOS Operating System
  ☆231Updated 10 years ago
• doug65536 / dgos
  Operating System
  ☆135Updated 3 years ago
• dreamos82 / DreamOs
  A small 32 bit Operating system written from scratch
  ☆94Updated 2 years ago
• davxy / beeos
  A simple Unix-like kernel trying to be POSIX compliant
  ☆138Updated last year
• chobits / tinyos
  a tiny monolithic kernel
  ☆63Updated 9 years ago
• fysnet / FYSOS
  The FYSOS Operating System
  ☆131Updated 3 weeks ago
• thepowersgang / acess2
  Acess2 Hobby Operating System
  ☆91Updated 2 years ago
• austanss / micron
  A retired research project.
  ☆10Updated 4 years ago
• pykello / arunos
  A simple operating system for ARM processors
  ☆137Updated 5 years ago
• AmbiML / sparrow-kernel
  The seL4 microkernel
  ☆26Updated 2 years ago
• marcosptf / menuetos
  fan respository - not official - os linux made with assembly language
  ☆96Updated 10 years ago
• IanSeyler / rustboot64
  A tiny 64 bit kernel written in Rust
  ☆51Updated 10 years ago
• kingcope / LikeOS
  Tiny Operating System supporting: SVGA gui, Grub bootloader, network subsystem, CDROM drivers.
  ☆33Updated 13 years ago
• SynestiaOS / SynestiaOS
  The Synestia Operating System
  ☆43Updated 4 years ago
• Dentosal / rust_os
  My hobby operating system microkernel written in Rust
  ☆46Updated 4 months ago
• swetland / xv6
  64bit port of xv6
  ☆135Updated 6 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
• vladdie93 / TempleOS
  Advancing the 64-Bit Temple Operating System into the future.
  ☆20Updated 7 years ago
• chillancezen / ZeldaOS
  32bit OS/kernel built from scratch with POSIX.1 compliance
  ☆43Updated 5 years ago
• kernkonzept / l4re-core
  The core components of the L4Re operating system.
  ☆100Updated last week
• strawberryhacker / fat32
  Minimal FAT32 file system implementation
  ☆96Updated 10 months ago