Instrumented kernel trace events

Updated: May 06, 2022

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.