FreeBSoD: Leveraging Language Models to Find and Exploit Kernel Bugs (Part 2 of 2)

We Put an L7 Firewall in the Kernel

A Filtering engine and DB for unpropagated kernel security patches

FlashAttention-4: Algorithm and Kernel Pipelining

NextBSD project revived: Apple's FOSS user-space tools on the FreeBSD kernel

Rust proliferation in the Linux Kernel

FreeBSoD: Leveraging Language Models to Find and Exploit Kernel Bugs (Part 1 of 2)

A Windows Kernel in a Browser Tab, Part I: Cold Boot, Fast Boot, and Four Megabytes

kernel asynchronous reads in PostgreSQL 19 (io_uring)

Linux Patches Introduce "KNOD" For In-Kernel Network Offloading Directly To AMD GPUs

winkernl-rs: low-level Windows kernel abstractions in Rust

Building a custom kernel from scratch in Rust (Rectangle OS): Looking for feedback and architecture advice

eBPF Looks Illegal: running your code inside the Linux kernel

QuantmLayer: kernel-enforced containment for AI coding agents - 16.5k lines of Rust, one static binary

I built a JS/TS Web SDK for AI Agent to handle frontend-to-kernel streaming

SentryCode: Kernel-grade auditor and honeytoken tool built in Rust for AI coding agents

Fable 5 wrote a Windows kernel in 38 minutes

What happens when you run a CUDA kernel?

Zinnia: A modular 64-bit Unix-like kernel written in Rust

A tale about fixing eBPF spinlock issues in the Linux kernel

Understanding the Linux Kernel: The Scheduler

Anatomy of a high-performance EP kernel

A visual introduction to kernel functions

6 years and 360 patches to clean all instances of strnpy out of the Linux kernel

maestro: Lightweight, Linux-compatible kernel, written in Rust

Dependently typed Clojure DSL with a Lean4 compatible kernel

Ultra: A from-scratch kernel that aims for full ABI compatibility with the Linux userland

F* file system – file search that reads SSD directly bypassing OS kernel

What a from-scratch Rust kernel (CharlotteOS) made me rethink about async-first OS design

I made a kernel 2.2x faster. It made my training loop 3x slower

More →