Browse free open source C Operating System Kernels and projects below. Use the toggles on the left to filter open source C Operating System Kernels by OS, license, language, programming language, and project status.
An operating system based on the best Windows NT design principles
Blazingly Fast & Customizable Linux distribution
Free operating system for Atari computers, and more.
Your concierge creating a Rich experience to Arch
Market leading real time kernel for 40+ microcontroller architectures
https://github.com/libcgroup/libcgroup
Linux Kernel source tree
Run Linux on the Playstation 2
The source for the Linux kernel used in Windows Subsystem for Linux 2
Testsuite to validate the reliability, robustness, stability of Linux.
QNAP GPL Source
Real-Time Event Frameworks based on active objects & state machines