Ironclad: Unix-like operating system kernel written in SPARK and Ada

Microsoft is moving antivirus providers out of the Windows kernel

Occurences of swearing in the Linux kernel source code over time

FreeBSD Kernel Modules Pkg(8) Repositories

Linux kernel WireGuard can go 'fast' on decent hardware

Juvio - UV Kernel for Jupyter

Triggered OOM by kernel with linux cgroups on a C++ program

Rust based kernel for AI native OS?

Building a containerization tool without kernel or root access - Language choice & collaborators needed!

Building a containerization tool for highly restricted environments (No kernel level access) - Language & collaborators wanted!

whatever happened to the whole “linux kernel in rust” thing?

Ironclad 0.7.0 – formally verified Unix-like kernel in SPARK and Ada

The Linux 6.15 kernel arrives and it's big a victory for Rust fans

A kernel developer plays with Home Assistant

New Intel CPU Flaw Bypasses Spectre v2 Defenses to Leak Kernel Memory

Linux kernel is leaving 486 CPUs behind, only 18 years after the last one made

How I used o3 to find a remote 0-day vulnerability in the Linux kernel (ksmbd)

Disabling kernel functions in your process (2009)

A kernel developer plays with Home Assistant

NetBSD 10.x Kernel Math_emulation

Linux 6.16 Adds 'X86_NATIVE_CPU' Option To Optimize Your Kernel Build

CVE-2024-38063 - Remotely Exploiting The Kernel Via IPv6

Show HN: Juvio – UV Kernel for Jupyter

Show HN: Rotary Phone Dial Linux Kernel Driver

Larry Tesler: Smalltalk Kernel Language Manual [pdf]

Misadventures in DTrace: how to debug the macOS kernel

Oniux: Kernel-level Tor isolation for any Linux app

Rust project goals 2024: Stabilizing Rust in the Linux Kernel

The Linux Kernel's PGP Web of Trust

Anyone here worked with Kernel Machines in AI?

More →