Dynamic instrumentation of the Linux kernel with BPF and kprobes
