Fair point, though gauging what is the knowledge-level of your audience is hard. Gotta pick what to include and what to omit if you want to keep it concise.
Any pointers? What would you change?
Xfig, naturally... just kidding ;-) They have been drawn with draw.io.
Glad you liked it. We will keep on writing, if you keep on reading ;-)
Try resubmitting to netfilter mailing list: http://vger.kernel.org/vger-lists.html#netfilter-devel
The MMIO restrictions make sense. Thanks for the explanation!
If you have the Linux kernel eBPF verifier in mind, it actually has a quite comprehensive test suite: https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/lin... Tests for the corner case that has caused the problem…
Cool idea. I played around with it. As majke mentioned we need optimizations or the backend compiler will complain: $ clang -O0 -target bpf filter_alu32.c -emit-llvm -S -c -o filter_alu32.ll $ llc -march=bpf…
Fair point, though gauging what is the knowledge-level of your audience is hard. Gotta pick what to include and what to omit if you want to keep it concise.
Any pointers? What would you change?
Xfig, naturally... just kidding ;-) They have been drawn with draw.io.
Glad you liked it. We will keep on writing, if you keep on reading ;-)
Try resubmitting to netfilter mailing list: http://vger.kernel.org/vger-lists.html#netfilter-devel
The MMIO restrictions make sense. Thanks for the explanation!
If you have the Linux kernel eBPF verifier in mind, it actually has a quite comprehensive test suite: https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/lin... Tests for the corner case that has caused the problem…
Cool idea. I played around with it. As majke mentioned we need optimizations or the backend compiler will complain: $ clang -O0 -target bpf filter_alu32.c -emit-llvm -S -c -o filter_alu32.ll $ llc -march=bpf…