Linux Kernel source tree
Blazingly Fast & Customizable Linux distribution
Tool kit for building highly secure special-purpose operating systems
The classic RPL programming language reimplemented and reimagined.
Identify any kernel core dump file
Mirror of: https://github.com/osdldbt/
Get latest Edition here: http://www.openqrm-enterprise.com.
A cute and educational x86 OS
Portable Penetration Testing Operating System
Just bring Linux for a better world
Casper-fs is a Custom LKM generator to protect and hide files.
https://github.com/libcgroup/libcgroup
Linux 4.9 Kernel for Xiaomi Mi A1 aka Tissot
The most advanced jailbreak tool
The OpenSolaris source base (OpenSolaris-ONNV) maintained version
RTOS for Secure, Safe and Real-Time Systems
Real-Time Embedded Operating System
HackSys Extreme Vulnerable Driver (HEVD) - Windows & Linux