Dynamic instrumentation of the Linux kernel - View it on GitHub