kernel-development
Latest stories covering kernel-development, with summaries and links to related coverage.
4 articles · page 1 of 1
Connected topics
Postmortem for Kernel Soundness Bug #14576
research
4 min read
A soundness bug in the Lean kernel, identified as #14576, was reported and fixed during the week of July 27. The bug was exploited in an AI-assisted repository that incorrectly claimed to disprove the Collatz conjecture due to issues with nested inductive types.
Killswitch: Per-function short-circuit mitigation primitive
tool
28 min read
A new patch introduces a per-function short-circuit mitigation primitive for the Linux kernel. This enhancement aims to improve security by allowing specific functions to bypass certain checks.
FreeBSD Device Drivers Book
tool
14 min read
FreeBSD Device Drivers: From First Steps to Kernel Mastery is a free, open-source book designed to teach kernel coding through 38 chapters, 6 appendices, and hands-on labs. It guides readers from beginner to the ability to write, debug, and submit production-quality FreeBSD drivers on a real FreeBSD 14.x system.
Kernel code removals driven by LLM-created security reports
news
1 min read
The amateur radio (AX.25, NET/ROM, ROSE) protocol implementation and associated hamradio device drivers are being removed from the kernel tree due to their history of generating numerous bug reports. This decision aims to mitigate the impact of AI-generated security reports that have overwhelmed developers.