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 11 years ago
• travisg / newos
  The NewOS Operating System
  ☆227Updated 9 years ago
• joeangel / linux-0.0.1
  linux kernel 0.0.1
  ☆88Updated 10 years ago
• Jimx- / lyos
  Yet another cross-platform microkernel operating system, runs on x86/x86_64, arm64 and RISC-V
  ☆74Updated 7 months ago
• ESLab / FreeRTOS---ARM-Cortex-A9-VersatileExpress-Quad-Core-port
  FreeRTOS - ARM Cortex-A9 VersatileExpress Quad-Core port
  ☆17Updated 12 years ago
• fysnet / FYSOS
  The FYSOS Operating System
  ☆130Updated 2 months ago
• marcosptf / menuetos
  fan respository - not official - os linux made with assembly language
  ☆95Updated 10 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
  ☆130Updated 2 years ago
• AmbiML / sparrow-kernel
  The seL4 microkernel
  ☆26Updated 2 years ago
• Bone-Project / BoneOS
  💥 BoneOS Kernel and Operating System Source Tree
  ☆137Updated last year
• kiznit / rainbow-os
  Rainbow OS
  ☆58Updated 4 months ago
• strawberryhacker / fat32
  Minimal FAT32 file system implementation
  ☆86Updated 7 months ago
• mental32 / osdev
  A collection of resources to be used with embedded, kernel or systems development.
  ☆16Updated 5 years ago
• mariuz / linux-0.01
  compilable linux-0.01
  ☆96Updated 2 years ago
• jserv / xv6-x86_64
  re-implementation of UNIX v6 in ANSI C for x86_64 SMP
  ☆189Updated 2 years ago
• HasiniSama / pocketOS
  A real-mode x86 operating system that is interrupt-driven and single-tasking.
  ☆28Updated 4 years ago
• ghaflims / cortex-a9
  qemu cortex-a9 vexpress-a9 arm
  ☆25Updated last year
• doug65536 / dgos
  Operating System
  ☆134Updated 3 years ago
• beevik / MonkOS
  an experimental 64-bit operating system
  ☆137Updated 11 months ago
• dreamos82 / DreamOs
  A small 32 bit Operating system written from scratch
  ☆86Updated 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
• heatd / Onyx
  UNIX-like operating system written in C and C++
  ☆92Updated 3 weeks ago
• naegelejd / duneOS
  A simple UNIX-like operating system
  ☆43Updated 10 years ago
• ishanthilina / USB-FAT32-Bootloader
  A simple FAT32 bootloader written in assembly to boot from USB drives.
  ☆77Updated 7 years ago
• davxy / beeos
  A simple Unix-like kernel trying to be POSIX compliant
  ☆137Updated last year
• austanss / micron
  A retired research project.
  ☆10Updated 4 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
• blanham / ChickenOS
  A small monolithic kernel OS. Rough around the edges, and still contains bits of code in the early startup stages taken from the OSDev wi…
  ☆17Updated 4 years ago
• justinian / jsix
  A hobby operating system for x86_64, boots with UEFI.
  ☆70Updated last year