Dr checkerDR.CHECKER : A Soundy Vulnerability Detection Tool for Linux Kernel Drivers
KernelKernel for z80 calculators
Talksschedule and materials about my presentations
RuxA hobbyist microkernel written in Rust, featuring a capability-based system similar to seL4.
H Encore 2Fully chained kernel exploit for the PS Vita on firmwares 3.65-3.73
KconfiglibA flexible Python 2/3 Kconfig implementation and library
ManticoreManticore is a research operating system, written in Rust.
Jetson easy🔩 Automatically script to setup and configure your NVIDIA Jetson [Nano, Xavier, TX2i, TX2, TX1, TK1] . This script run different modules to update, fix and patch the kernel, install ROS and other...
KernelThe Stupid Operating System
Eduos RsA teaching operating system written in Rust
KaflA fuzzer for full VM kernel/driver targets
Application🏆 A full-stack component-based MVC kernel for PHP that helps you write powerful and modern web applications. Write less, have cleaner code and your work will bring you joy.
Wmi Static SpooferSpoofing the Windows 10 HDD/diskdrive serialnumber from kernel without hooking
FrostedFrosted: Free POSIX OS for tiny embedded devices
LibhermitHermitCore: A C-based, lightweight unikernel
Vulnerable KextA WIP "Vulnerable by Design" kext for iOS/macOS to play & learn *OS kernel exploitation
UnikraftUnikraft is an automated system for building specialized POSIX-compliant OSes known as unikernels. (Core repository)
Linux UekOracle Linux UEK: Unbreakable Enterprise Kernel
CyjonA simple, clean code, multi-tasking operating system written in pure assembly language for 64-bit processors from the AMD64 family.
PebbleMicrokernel and userspace written in Rust exploring modern ideas
MollenosMollenOS/Vali is a modern operating system that is built with focus on abstraction and a modular design, allowing anyone to port it to any architecture. It currently targets the x86-32 and x86-64 platform.
KsocketKSOCKET provides a very basic example how to make a network connections in the Windows Driver by using WSK
PlutoAn x86 kernel written in Zig
Garhal csgoA project that demonstrates how to screw with CSGO from Kernel Space. (CSGO Kernel Cheat/Hack) All cleaned up, and with updated offsets.
Shadow Box For X86Shadow-Box: Lightweight and Practical Kernel Protector for x86 (Presented at BlackHat Asia 2017/2018, beVX 2018 and HITBSecConf 2017)
ZenExperimental operating system written in Zig
LinuxLinux kernel stable tree mirror
UksmUltra Kernel Samepage Merging
NtluaLua in kernel-mode because why not.
IoctlbfWindows Kernel Drivers fuzzer
Linux Kernel Utilities👷 Utilities to compile and / or update linux kernels for Debian and derivatives (e.g. Ubuntu, LinuxMint, etc.)
Hdk(unofficial) Hyper-V® Development Kit
PatchmanPatchman is a Linux Patch Status Monitoring System
Android LkmsAndroid Loadable Kernel Modules - mostly used for reversing and debugging on controlled systems/emulators
Willos💾 A minimal kernel (just a hobby, won't be big and professional). // Work In Progress
Linux 0.12Linux0.12内核代码中文注释+在高版本GCC 5.4.0 + Ubuntu 16.04中编译成功并在Bochs正常测试运行
Pubg Pak Hackeruse windows kernel deriver hidden file and itself to Bypass BE
Clashosmultiplayer arcade game for bare metal Raspberry Pi 3 B+
Nftlbnftables load balancer
KtweakA no-nonsense kernel tweak script for Linux and Android systems, backed by evidence.
GvisorApplication Kernel for Containers
CfbCanadian Furious Beaver is a tool for hijacking IRPs handler in Windows drivers, and facilitating the process of analyzing Windows drivers for vulnerabilities
Neu OsBased on linux0.11, break it down, then reassemble (For NEU Lab use)
HodlrA fast, accurate direct solver and determinant computation for dense linear systems
KnetstatSimple kernel module to inspect socket options
SymstoreThe history of Windows Internals via symbols.