[$] In search of a stable BPF verifier

BPF is, famously, not part of the kernel's promises of user-space stability. Newkernels can and do break existing BPF programs; the BPF developers try tofix unintentional regressions as they happen, but the whole thing can be something of a bumpyride for users trying to deploy BPF programs across multiple kernel versions.Shung-Hsi Yu and Daniel Xu had two different approaches to fixing the problemthat they presented at the 2025 Linux Storage, Filesystem,Memory-Management, and BPF Summit.