eBPF verification is untenable."

@Jinghao_J will show that #eBPF safety has become a liability and discuss his Rust-based kernel extension framework to the rescue at #HotOS.

We used his system in cs423 @IllinoisCS where students write Rust extensions…