Slaying the BPF Verifier: Safe & Static Kernel Extensions Using Rust - Aniket Gattani, Google Inc.
0:00 · Watch on YouTube
Rex 2.0 proposes an alternative to the BPF verifier: writing BPF programs in Rust, statically verifying them at compile time via an LLVM pass plus Rust/rustc safety, then loading position-independent ELF images that t...