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.
Boots into many systems and GRUB2 ones!
Winux Operating System by Linuxfx
Current Release: Calam-Arch-Installer-2026-02 Kernel: 6.18.7
Easy, yet powerful, GNU/Linux distribution
Testsuite to validate the reliability, robustness, stability of Linux.
A beautiful personal server OS for Raspberry Pi or any Linux distro
https://github.com/libcgroup/libcgroup
The source for the Linux kernel used in Windows Subsystem for Linux 2
Your concierge creating a Rich experience to Arch
Free operating system for Atari computers, and more.
Real-Time Event Frameworks based on active objects & state machines
Market leading real time kernel for 40+ microcontroller architectures
OSX, Windows, and Linux Desktop Clients for Rocket.Chat
Redox is an operating system written in Rust