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
https://github.com/libcgroup/libcgroup
Blazingly Fast & Customizable Linux distribution
Testsuite to validate the reliability, robustness, stability of Linux.
Market leading real time kernel for 40+ microcontroller architectures
The source for the Linux kernel used in Windows Subsystem for Linux 2
Creating a Rich experience to ARCH
Real-Time Embedded Frameworks based on active objects & state machines
Free operating system for Atari computers, and more.
Run Linux on the Playstation 2
A Fast, Offline, Graphical Installer for Arch Linux