Linux KVM Cannot Anchor an ASIL D Safety Case

A sixteen-year-old kernel bug shows why a cloud hypervisor cannot enforce vehicle safety isolation.

By Shawn Sehy Published 9 July 2026 9 min read

The full text is published on Substack.

A relevant next step

Diligence a target, a thesis, or a supply chain before you commit to it.

Nothing is sent until you submit the form. You can change the offer or leave out the page reference there.