This presentation gives an overview of the high-level ideas and implementation mechanisms behind “kinst”, a new DTrace provider for FreeBSD, that allows for abitrary instruction and inline function tracing in the kernel.