Instrumented kernel trace events

The instrumented kernel emits trace events when:

In addition, all events include the scheduler partition ID and its budget. You can use traceprinter to display the contents of the trace file. You can also use the IDE to parse and display a trace file.