Functional kernel written in OCaml.
CAD algorithms that use OpenCascade Technology (OCCT) Kernel
osFree Janus: Open-Source Windows 3.0 Clone
🦀 TrustOS — 264K lines of bare-metal Rust. Zero C, zero blobs. Desktop, native x86_64 compiler, browser, emulators, TLS 1.3, PXE self-replication. So...
My Material for the HITB presentation
Continuous integration for the Linux Kernel - Built within Docker
Rust implementation of Xinu educational operating system
hwmon Linux Kernel driver for the Corsair RMi and HXi series of PSUs
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
⚔️ Rust Internal Cheat & With installation guide !
Get started with writing your first ever Windows Driver
Facilitates (re)building the Proxmox VE kernel with additional patches.
Prefix-Aware Attention for LLM Decoding
Simple root privilege escalation detection using eBPF 🐝
A Linux kernel module that spawns a char device which tells the user whether it's Friday
HEVD Exploit: ArbitraryWrite on Windows 10 22H2 - Bypassing KVA Shadow and SMEP via PML4 Entry Manipulation
Simple project to demonstrate the loading of eBPF programs via florianl/go-tc.
GameServerKernel [LINUX ONLY]
EAS Mystic Kernel - Xiaomeme (MSM-4.4) # Jasmine, Lavender, Tulip, Wayne, Whyred #
Linux hardware monitoring driver for Corsair RMi/HXi series power supplies with sensors USB interface (mainlined 5.11)
64-bit LKM Rootkit builder based on yaml prescription. Working on 5.15.5 kernel
XEngine, a engine fueled by Chirus pAI
Docker Kernel for Xiaomi Whyred.
ST MEMS IIO drivers for Android and Linux platforms.
oneplus 5/5T lineageOS dc kernel
Import Device Tree Information onto your Ghidra memory map
A very extendable and versatile hybrid kernel.
Kernel source and builder for Redmi Note 12/13 4G NFC & Redmi Pad SE (topaz/tapas/sapphire/sapphiren/xun)
shitty operating system ...---...
Operating system in C written for fun and glory
A guidelines for hardening including custom Debian kernels,headers,firmwares,tools,jail,sandbox and configs files
You came here so you could have a base code to serve you as an example on how to develop a BPF application, compatible to BCC and/or LIBBPF, specially...
Main kernel tree
Gramado OS 64bit
This was the original start of havok.cc but this was the take off to havok rust cheat and this is the original source before anything was changed
AtomX Kernel POCO X5 PRO 5G (redwood) kernel Sources
Expanding Kernel Lazy Importer
A Script to Rebase OEM Kernel to the Android Common Kernel Base
Windows Kernel API wrapper with simplified functions and enterprise driver extensions.
Foton (eng. Photon) - is a similar project as Cyjon/Fern-Night, but compatibility will no longer be fully supported.
C++ framework for the linux kernel
Research PoC demonstrating Linux Kernel hooking plus defences.
SuperKernel for herolte and hero2lte
Experimental Stand-alone 32-bit Kernel with Bootloader written in AT&T Assembly and Freestanding C
Linux kernel 4.4 forked from Nvidia Linux4Tegra for TX1 and TX2. Supports L4T 28.1 and 28.2.1
Build scripts and patches used to cross-compile 5.6-rcX kernels for RK3288 boards
x86_64 OS kernel with completely async userspace and single address space [WIP; but basic kernel functionality implemented]
A secure, modern and intelligent operative system