Linux Kernel source tree
This is the stress-ng upstream project git repository.
The data science OS
Linux Kernel Manager and Activity Monitor
Scalable, optimized, secure RTOS for multiple hardware architectures
GobLin: The GNU/Linux Operating System for Governments
The operating system and all related software
Zen Patched Kernel Sources
Rust Linux-compatible kernel
ArchEX is a new (260108/260106) Linux Live System based on Arch Linux.
A multiboot cd with six mini Linux Systems
exGENT Live System is - as the name suggests - based on Gentoo Linux
Real-Time Event Frameworks based on active objects & state machines
Market leading real time kernel for 40+ microcontroller architectures
Easy, yet powerful, GNU/Linux distribution
amforth is an extendible interpreter on microcontrollers
Winux Operating System by Linuxfx
Your concierge creating a Rich experience to Arch
The classic RPL programming language reimplemented and reimagined.
Mirror of: https://github.com/osdldbt/
AO RTOS is small real time OS based on Active Object concurrency model
Oberon V4 for Linux and sources for different Oberon V4 implementation
GeckoLinux is a set of live Linux spins built from openSUSE