Погружение в eBPF и XDP вместе с Go

[shutterrecoil]

тестировать программки eBPF трудно, а пытались их генерировать из Dafny или верифицировать на coq и acl2?

[victor_yacovlev]

Что за ресурс githum.com, на который вы ссылки даёте? Пример: http://githum.com/cilium/ebpf

Материалы же по eBPF на гитхабе лежат, или я много лет обманывал студентов?...

[ilyazyabirov]

Есть ощущение, что ваши студенты вас не очень любят. Уж не знаю почему