Linux Kernel source tree
NVIDIA Linux open GPU kernel module source
Tools for BPF-based Linux IO analysis, networking, monitoring, etc.
Operating system for the Sega Dreamcast
Powerful system task manager
SQL operating system instrumentation and monitoring framework
Linux GPIB Driver package (source)
Casper-fs is a Custom LKM generator to protect and hide files.
hidden firewall, custom firewall in kernel
Industry Pack support for Linux kernel
AliOS Things latest version
Linux kernel mode debugfs keylogger
Linux source-level kernel debugger
IPsec / IKEv2-based VPN software for Linux.
What you see, is what you get! GNU/Linux Arch Based Distro
mpss port to linux-3.2.14
An operating system written in C & assembly.
Modules for remote attestation.
My scilab tools