Browse free open source C Operating System Kernels for Linux and projects below. Use the toggles on the left to filter open source C Operating System Kernels for Linux by OS, license, language, programming language, and project status.
https://github.com/libcgroup/libcgroup
Blazingly Fast & Customizable Linux distribution
Market leading real time kernel for 40+ microcontroller architectures
Testsuite to validate the reliability, robustness, stability of Linux.
The source for the Linux kernel used in Windows Subsystem for Linux 2
Creating a Rich experience to ARCH
A Fast, Offline, Graphical Installer for Arch Linux
Run Linux on the Playstation 2
Real-Time Embedded Frameworks based on active objects & state machines
Free operating system for Atari computers, and more.
Run Linux on Windows or other OSes, natively.
Hobby operating system, bootloader, kernel, drivers, C library