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
  ☆24Updated 11 years ago
• AmbiML / sparrow-kernel
  The seL4 microkernel
  ☆26Updated last year
• rikeyone / mini-os
  This is a Mini OS based on Linux include kernel/rootfs and some essential libraries and daemons.
  ☆13Updated last year
• jserv / xv6-x86_64
  re-implementation of UNIX v6 in ANSI C for x86_64 SMP
  ☆183Updated 2 years ago
• travisg / newos
  The NewOS Operating System
  ☆216Updated 9 years ago
• IanSeyler / rustboot64
  A tiny 64 bit kernel written in Rust
  ☆51Updated 9 years ago
• openrisc / newlib
  newlib OpenRISC development
  ☆26Updated 4 months ago
• chillancezen / ZeldaOS
  32bit OS/kernel built from scratch with POSIX.1 compliance
  ☆37Updated 5 years ago
• vladdie93 / TempleOS
  Advancing the 64-Bit Temple Operating System into the future.
  ☆18Updated 6 years ago
• jingyi-iii / Exynos-4412-Bootloader
  Samsung Exynos 4412 SoC Bootloader
  ☆12Updated 7 years ago
• mariuz / linux-0.01
  compilable linux-0.01
  ☆87Updated 2 years ago
• emk / toyos-rs
  Just hacking around on a toy Rust-based on based on the blog posts at http://blog.phil-opp.com/
  ☆90Updated 2 years ago
• a-darwish / cuteOS
  A 64-bit SMP-safe kernel for the PC architecture.
  ☆87Updated 7 years ago
• chenshuo / old-minix
  Minix 1.1 to 2.0.4
  ☆52Updated 7 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
  ☆125Updated 2 years ago
• dbittman / seakernel
  Modular kernel built for simplicity
  ☆93Updated 8 years ago
• calccrypto / tar
  A simple tar implementation in C
  ☆126Updated last year
• naegelejd / duneOS
  A simple UNIX-like operating system
  ☆44Updated 10 years ago
• roscopeco / mink
  A minimal experimental microkernel
  ☆24Updated last year
• pykello / arunos
  A simple operating system for ARM processors
  ☆131Updated 5 years ago
• NewbiZ / xv6
  Reimplementation in ANSI C of Unix v6 + POSIX compliance + VFS + ulibc + ACPI
  ☆67Updated 4 years ago
• saneee / yaos
  ☆9Updated 9 years ago
• wenyuzhao / Sophon
  A Raspberry Pi OS Kernel in Rust
  ☆35Updated 9 months ago
• xinu-os / xinu
  Repository for Xinu source code
  ☆443Updated last year
• ajxs / uefi-elf-bootloader
  UEFI ELF Bootloader example
  ☆97Updated 6 months ago
• brenns10 / sos
  Home-made almost operating system
  ☆140Updated 2 years ago
• Dentosal / rust_os
  My hobby operating system microkernel written in Rust
  ☆45Updated 2 years ago
• Jimx- / lyos
  Yet another cross-platform microkernel operating system, runs on x86/x86_64, arm64 and RISC-V
  ☆71Updated 3 months ago
• jeremyrios / CS162-Nachos-OperatingSystem
  OS coded in Java
  ☆9Updated 10 years ago
• fysnet / FYSOS
  The FYSOS Operating System
  ☆123Updated this week