Linux kernel instrumentation

Courtesy of @unixed