Browse free open source Operating System Kernels and projects for Linux below. Use the toggles on the left to filter open source Operating System Kernels by OS, license, language, programming language, and project status.
Blazingly Fast & Customizable Linux distribution
Free operating system for Atari computers, and more.
Boots into many systems and GRUB2 ones!
Yet another minimal Linux distribution, based on Arch Linux.
The source for the Linux kernel used in Windows Subsystem for Linux 2
Your concierge creating a Rich experience to Arch
Current Release: Calam-Arch-Installer-2026-11 Kernel: 7.2.11
Run Linux on the Playstation 2
Linux Kernel for Surface Devices
Market leading real time kernel for 40+ microcontroller architectures
https://github.com/libcgroup/libcgroup
Scalable, optimized, secure RTOS for multiple hardware architectures
Linux Kernel source tree
Redox is an operating system written in Rust