Akamai becomes the official distributor of the Linux kernel

BPF, or How I Learned to Stop Worrying and Love the Kernel

VTock: Verifying the Tock Kernel

Microsoft Proposes "Hornet" Security Module For The Linux Kernel

Linux Kernel 6.14 Officially Released

Google Developing "Live Update Orchestrator" New Means Live Linux Kernel Updates

Teaching a kernel to optimize itself through machine learning in a Rust based OS

Trigon: developing a deterministic kernel exploit for iOS

The case of the vanishing CPU: A Linux kernel debugging story

csgrs CAD kernel v0.16.0 released: major update