Hi Guix, I tried to use bpftrace recently and discovered I needed the right kernel headers compiled in (5.9 being the default now). Perhaps linux-libre-headers should be upgraded to 5.9 instead? What do you think? - John