Tiny Kernel is a work in progress Operating System kernel.
Testsuite to validate the reliability, robustness, stability of Linux.
Silent Angel Open Source Packages
Custom kernel for whyred (Redmi Note 5 Pro/AI)
Linux 4.9 Kernel for Xiaomi Mi A1 aka Tissot
Free real-time operating system designed for microcontrollers
Open-source RTOS and Embedded Systems Toolkit for C++ and C
HackSys Extreme Vulnerable Driver (HEVD) - Windows & Linux
Linux Kernel Input/Output Driver for one single GPIO line
NetFlow iptables module for Linux kernel
A Tiny Linux-Compatible Kernel
32 bit VIRGO Linux Kernel
PRTOS is a simple, compact preemptive RTOS for embedded systems
A UNIX-like kernel for the i386 architecture
Mulithreading Arduno library
Linux source-level kernel debugger
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.
Custom kernel for SGS4(GT-I9500) with Nethunter support.