Linux Kernel source tree
Rust Linux-compatible kernel
Cluster wide IPC providing datagram, connection, and bus messaging
IIoT Gateway for interfacing industrial,home automation applications
A light version of Debian with minimal installed using LXDE.
A cute and educational x86 OS
Shastra OS is a Arch Linux based Operating System.
PRTOS is a simple, compact preemptive RTOS for embedded systems
A UNIX-like kernel for the i386 architecture
replicated-kernel Linux-based OS
KaarPux - Linux/GNU/GNOME build from source
Embedded Real-Time Operating System (RTOS)
Kernel modded to optimize and support the a wide range of netbook's
Latest i9001 stock kernel, heavily tweaked!
An operating system based upon the MOSA kernel.
Kernel based checkpointing for Linux