Operating System development experiment in Ada
x86 Kernel Project
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
Stock kernel collection for Nintendo Entertainment System (NES) & Famicom Home Video Computer (HVC) Classic consoles.
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.
Kernel source and builder for Redmi Note 12/13 4G NFC & Redmi Pad SE (topaz/tapas/sapphire/sapphiren/xun)
⚡ Magisk Module to boost charging speed with smart tweaks.
🐧 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
Engine for communication with remote kernel debugger (KD, WinDbg) from drivers and applications
The chaotix operating system! (Previously known as Magma or Psychix)
Very basic os template made with Rust
Modify based Pangu Kernel(EMUI 9 Custom Kernel) for support KernelSU
Functional kernel written in OCaml.
Get started with writing your first ever Windows Driver
CAD algorithms that use OpenCascade Technology (OCCT) Kernel
Import Device Tree Information onto your Ghidra memory map
Windows Kernel API wrapper with simplified functions and enterprise driver extensions.
Rust-native GPU kernel authoring framework: write GPU compute kernels in Rust, compile to PTX. The Triton equivalent for the Rust ecosystem.
A developing operating system
html5 canvas image process ( 3*3 kernel ) canvas卷积核测试 canvas图片后期
👷🏻♂️ An easy starting point for your first OS/Kernel
Linux kernel source tree for the Redmi Note 8 Pro (xiaomi-mt6785)
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)
ST MEMS IIO drivers for Android and Linux platforms.
HEVD Exploit: ArbitraryWrite on Windows 10 22H2 - Bypassing KVA Shadow and SMEP via PML4 Entry Manipulation
A Script to Rebase OEM Kernel to the Android Common Kernel Base
A very extendable and versatile hybrid kernel.
GPU based FFT written in Rust and CubeCL
Research PoC demonstrating Linux Kernel hooking plus defences.
A baremetal C# kernel.
Space Grade Linux is an advanced Linux-based operating system designed to meet the rigorous demands of aerospace, satellite, and other high-reliabilit...
Linux kernels for OpenIPC firmware
Continuous integration for the Linux Kernel - Built within Docker
Rust implementation of Xinu educational operating system
Build the linux kernel and modules on board the Jetson Xavier NX.
A repository that includes common helper functions for writing applications in the DPDK. I will be using this for my future projects in the DPDK.
💉 Example Injector Exec & For further Development