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
Testsuite to validate the reliability, robustness, stability of Linux.
Market leading real time kernel for 40+ microcontroller architectures
Real-Time Embedded Frameworks based on active objects & state machines
The source for the Linux kernel used in Windows Subsystem for Linux 2
Creating a Rich experience to ARCH
Free operating system for Atari computers, and more.
Run Linux on the Playstation 2
A Fast, Offline, Graphical Installer for Arch Linux
Hobby operating system, bootloader, kernel, drivers, C library
Run Linux on Windows or other OSes, natively.