Kernel

Linux Kernel Pipapo Set Double Free LPE

Building Linux kernel on macOS natively

BeePL: Correct-by-compilation kernel extensions

A Clone of the Linux Kernel's Red-Black Tree in Rust

I am on my way to create programming language and write a kernel.

Introducing RuxOS – A Clean-Slate Kernel Written in Rust

Asterinas: a new Linux-compatible kernel project

Rust in the Linux kernel: part 2

Bcachefs may be headed out of the kernel