kernel
Repositories (1595)
A simple UNIX-LIKE kernel
Stock kernel collection for Super Nintendo Entertainment System (SNES) & Super Famicom Home Video Computer (SHVC) Classic consoles.
A 64bit hobby operating system written in C++
An FPGA I/O Device which services physical memory reads/writes via UMDF2 driver
Linux OTF2 Sampling - A Lightweight Node-Level Performance Monitoring Tool
🐸 KERMIT - A lightweight library to encode and interpret Universal Syntactic Embeddings
Sources to the Master's thesis: Safe Kernel Programming with Rust
Attacking the cleanup_module function of a kernel module
Communication through a serial port or named pipe
This is compilation of Labs “Porting Inferno OS to Raspberry Pi”. We decided to organize it as some set of small labs with very detailed steps of what...
A Windows filter driver that disables hardware volume control on audio devices.
kernel-mode TDI client which can send and receive HTTP requests
Hobby Operating System
Nanopi M4 RK3399 base minimal image for development (mali fbdev / gbm) - Camera support
An operating system written in Rust
Mcube Kernel: Operating System Supporting Dynamically Switchable Kernel Models
Technology is free, SnowFlakeOS
Grid Operating system
A MongoDB kernel for Jupyter
Updated for 14.0. A half days worth of work can be done in seconds, with comprehensive logging, togglable secure/performance settings, and backups. I...
An x86_64 hobbyist OS written in C and Assembly
A toy x86-64 kernel.
An x86-64 kernel with ~100% Rust (originally) in a week. `async` inside!
A proxy for GSSAPI | Docs at https://github.com/gssapi/gssproxy/tree/main/docs
A PoC Windows Minifilter Driver in pure Rust (Don't use it in production)
A Basic x86 Operating System/Kernel
A Preemptive Hard Real Time kernel for embedded devices.
🐧 Security-focused Linux distribution with 140+ tools, custom kernel 6.17.13, AI assistant | 5 editions | Cloud, AI/ML, Automotive, Hardware hacking
LPE exploits for Secret Net and Secret Net Studio
Valthrunner's Script 🚀 - The script for Valthrun.
Legacy NVIDIA 340.108 driver for Ubuntu 24.04 + Linux 6.11
A Linux kernel module for Kernelspace profile modes. Read the README for more info.
A simple kernel written in Rust for studying purposes.
OpenType font file format fuzzer for Windows
The School of Informatics (University of Edinburgh) Research Operating System
Enum and Remove Hook in Windows
Valthrunner's Script 🚀 - The script for Valthrun.
A simple template for building a Limine-compliant kernel in Rust.
CVE-2026-20637: AppleSEPKeyStore Use-After-Free — iOS/macOS kernel vulnerability (patched in 26.4)
Hobby kernel in modern C++
A learning OS
Running x86-16 or x86-32 code from x86-64 UEFI; _very experimental_ • mirror of https://gitlab.com/tkchia/biefircate • developer notes at https://gitl...
Almost usable x86-64 Unix-like kernel
Cat System Workshop is a regular meet-up focusing on “system software”. We would like to gather all developers to share their experience regarding sys...
Master list of all my vulnerability discoveries. Mostly 3rd party kernel drivers.
The Microdot Project guides you to create a fully functional but compact Linux system from scratch
CSGO ESP, Web Radar and Grenade helper using kernel hook for km-um communication
Small x86/ARM Operating System built from scratch
Open Source Rust kernel; Runs WASM and WASI as lightweight containers.
ZeroImport is a lightweight and easy to use C++ library for Windows Kernel Drivers. It allows you to hide any import in your kernel driver by importin...