2 ms·Making Pigs Fly (a.k.a. Getting the Verifier to Approve eBPF Code)5 points by neil_naveen 10mo ago