A Kernel for Android
GuruMan Linux KDE is a KDE spin on Manjaro Linux
32 bit VIRGO Linux Kernel
PRTOS is a simple, compact preemptive RTOS for embedded systems
Linux Kernel optimized for Intel Atom CPU on Fedora
A UNIX-like kernel for the i386 architecture
Stock Ubuntu flavor ISOs injected with the RCRT Preempt RT Kernel
Mulithreading Arduno library
Script to make partitions, format and install embedded Linux files.
Linux source-level kernel debugger
Linux-based operating system
W-Bus communication library
Use an rtl2832 USB dongle to generate random data for the linux kernel
Run Linux on Windows or other OSes, natively.
Simulating an IP packet traversing the Linux kernel.
replicated-kernel Linux-based OS
Android-x86 7.1.2/6.0.1/5.1.1 with GAPPS
Custom kernel for SGS4(GT-I9500) with Nethunter support.
A from-scratch Linux distro from Greece
Lightweight operating system using Node.js as userspace