A beautiful personal server OS for Raspberry Pi or any Linux distro
Linux Kernel Manager and Activity Monitor
A free (libre) open source, mobile OS for Ethereum
Easy, yet powerful, GNU/Linux distribution
Market leading real time kernel for 40+ microcontroller architectures
GeckoLinux is a set of live Linux spins built from openSUSE
Free operating system for Atari computers, and more.
Real-Time Embedded Frameworks based on active objects & state machines
AgarimOS is a respin of Void Linux
FluXuan Linux - Devuan based operating system!
Linux For Christians
Software development for 4Mb portable, using Z80 CPU and AA batteries
The smallest and the most powerful operating system.
Shastra OS is a Arch Linux based Operating System.
GobLin: The GNU/Linux Operating System for Governments
A microkernel-based multiserver operating system written from scratch.
Thread Scheduler with custom asynchronous messaging in VC++
Memory manager for Free Pascal
Musician-oriented Linux distro
Just bring Linux for a better world
A cute and educational x86 OS
Cloud-native way to provide elastic Jupyter Notebooks on Kubernetes