Resources for “Kprobes—a Kernel Debugger”