Linux Kernel source tree
Rust Linux-compatible kernel
Hobby operating system, bootloader, kernel, drivers, C library
Scalable, optimized, secure RTOS for multiple hardware architectures
This is the stress-ng upstream project git repository.
Market leading real time kernel for 40+ microcontroller architectures
Real-Time Event Frameworks based on active objects & state machines
PuppEX Forky/Noble/Trixie/Slack are remasters of Puppy Linux
Building and running ancient Linux on Windows
It's a personal microkernel project designed as a learning ground.
A multiboot cd with six mini Linux Systems
Shastra OS is a Arch Linux based Operating System.
humbly smart Operating System - Debian derivative
Testsuite to validate the reliability, robustness, stability of Linux.
Linux distribution made specifically to run Docker containers
Free cooperative operating system designed for microcontrollers
Free real-time operating system designed for microcontrollers
A Tiny Linux-Compatible Kernel
32 bit VIRGO Linux Kernel
Linux source-level kernel debugger
Lightweight operating system using Node.js as userspace