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
Yet another minimal Linux distribution, based on Arch Linux.
Archman GNU/Linux / Arch Linux based linux distribution
Boots into many systems and GRUB2 ones!
Testsuite to validate the reliability, robustness, stability of Linux.
Current Release: Calam-Arch-Installer-2026-03 Kernel: 6.18.13
Easy, yet powerful, GNU/Linux distribution
Market leading real time kernel for 40+ microcontroller architectures
Your concierge creating a Rich experience to Arch
https://github.com/libcgroup/libcgroup
The source for the Linux kernel used in Windows Subsystem for Linux 2
Runtu is a desktop Linux distribution based on Ubuntu.
Free operating system for Atari computers, and more.
A beautiful personal server OS for Raspberry Pi or any Linux distro
Redox is an operating system written in Rust