As mentioned earlier, to capture instrumentation data for analysis, the instrumented kernel (procnto*-instr) must be running. This kernel is a drop-in replacement for the standard kernel (though the instrumented kernel is slightly larger). When you're not gathering instrumentation data, the instrumented kernel is almost exactly as fast as the regular kernel.
If procnto*-instr appears in the output, then the OS image is running the instrumented kernel.
To substitute the procnto*-instr module in the OS image on your board, you can either manually edit your buildfile, then run mkifs to generate a new image, or use the System Builder perspective to configure the image's properties.
Replacing the kernel using the System Builder
Assuming you're running the instrumented kernel on your board, you're ready to use the System Profiler. A profiling session usually involves the following steps: