loxilb ebpf sub-module
Ftrace Based Linux Loadable Kernel Module Rootkit for Linux Kernel 5.x up to linux kernel 6.2 on x86_64, hides files, hides process, hides bind shell...
Multi-series Linux kernels for VPS: BBRv3, BBRPlus, TCP Brutal, Debian patches, x86_64/arm64, and signed DEB/RPM/APK/Arch packages.
A collection of Linux kernel modules for educational purposes
Updated sample code for OS X and iOS Kernel Programming book
Basically osdev notes; simplekernel is a very minimal operating system made for learning and conceptually understanding the OS theory, HyperVisors, an...
A kernel module for protecting android rooted device
A 64bit operating system kernel with graphical user interface.
Intelligent kernel error injection/testing tool based on large model and eBPF.(基于大模型和eBPF的智能化kernel错误注入、测试工具)
How-To flash a Android Kernel and Recovery with ADB and Fastboot
Get started with writing your first ever Windows Driver
Proton Kernel for the Pixel 3 (blueline) and Pixel 3 XL (crosshatch) unified as bluecross. (discontinued)
Operating System development experiment in Ada
ARMv8-A/RISC-V kernel (with UEFI bootloader)
Rainbow OS
A research project about Windows notify routines.
A proof of concept demonstrating communication via mapped shared memory structures between a user-mode process and a kernel-mode payload on Windows 10...
💽 A simple Intel x86 operating system written in assembly and C++, supporting interrupts, memory paging and heap allocation, disk control, file parti...
E404 Kernel Stable Releases
drgn helpers specific to Oracle UEK, along with custom CLI and reporting tool corelens
A simple template for building a Limine-compliant kernel in Zig.
Linux — Built for Apple Silicon.
Linux kernels for OpenIPC firmware
Rust-native GPU kernel authoring framework: write GPU compute kernels in Rust, compile to PTX. The Triton equivalent for the Rust ecosystem.
Cinux, C/C++'s version of X64 Operating System, using modern feature in C/C++!
🐧 Linux kernel sources for Redmi Note 5 Pro/AI (whyred) • https://telegra.ph/Rad-Kernel-Sources-whyred-09-04
rnk is a RTOS targeting ARM architecture.
Linux kernel PPS generator using GPIO pins
Hardening the Linux operating system for Debian like distributions.
Archlinux Kernel based on the Cacule Scheduler and with many improvements.
hwmon Linux Kernel driver for the Corsair RMi and HXi series of PSUs
Linux kernel source tree for the Redmi Note 8 Pro (xiaomi-mt6785)
Engine for communication with remote kernel debugger (KD, WinDbg) from drivers and applications
ST MEMS IIO drivers for Android and Linux platforms.
The chaotix operating system! (Previously known as Magma or Psychix)
Very basic os template made with Rust
Stock kernel collection for Nintendo Entertainment System (NES) & Famicom Home Video Computer (HVC) Classic consoles.
Functional kernel written in OCaml.
CAD algorithms that use OpenCascade Technology (OCCT) Kernel
A Script to Rebase OEM Kernel to the Android Common Kernel Base
Space Grade Linux is an advanced Linux-based operating system designed to meet the rigorous demands of aerospace, satellite, and other high-reliabilit...
An experimental operating system where everything runs in a VM
A developing operating system
html5 canvas image process ( 3*3 kernel ) canvas卷积核测试 canvas图片后期
👷🏻♂️ An easy starting point for your first OS/Kernel
A Raspberry Pi OS Kernel in Rust
Port of "DR.CHECKER : A Soundy Vulnerability Detection Tool for Linux Kernel Drivers" to Clang/LLVM 10 and Linux Kernel
Linux hardware monitoring driver for Corsair RMi/HXi series power supplies with sensors USB interface (mainlined 5.11)
Modify based Pangu Kernel(EMUI 9 Custom Kernel) for support KernelSU
HEVD Exploit: ArbitraryWrite on Windows 10 22H2 - Bypassing KVA Shadow and SMEP via PML4 Entry Manipulation