Use an rtl2832 USB dongle to generate random data for the linux kernel
Linux source-level kernel debugger
Raspberry Web Server OS Raspbian Stretch / 9
CAN bus device driver
LinuxTLE (Revival)
Brute-forcing WAN/LAN services
Wayland/QtQuick based OS with incremental updates and bundles
Chromium + Ubuntu = Cub Linux
Updated Ubuntu Mate OS 64bit (15.10 based)
An indie, hobby operating system
A Haskell kernel for the Jupyter project
Tool allowing you to put a Linux distro on a USB drive.
High level interface to the Linux Kernel's seccomp filter
Configuration tools for the Linux NetLabel subsystem
What you see, is what you get! GNU/Linux Arch Based Distro
Fast, easy to use Linux-based operating system
Embedded Real-Time Operating System (RTOS)
A Lightweight Linux OS for a UK project helping people get online
Custom kernel for Chakra Linux that contains Con Kolivas' CK patchset