And now Linux has a Runtime Verification interface

Commit log merged in the Linux 6.0 (or 5.20?) merge window.