#arena

BPF verifier rewrite targets Rust with recursion and open loops

Alexei Starovoitov posts an 82-patch series that joins verifier states instead of walking every path, so rustc output can load.