Programming the Kernel with eBPF