Instrumented kernel trace events

The instrumented kernel emits trace events when:

• a scheduler partition's budget changes (including when the partition is created)
• a scheduler partition's name changes (i.e. when the partition is created)
• a thread runs —in wide mode, these events include the partition ID and indicate whether or not the thread is running as critical
• a scheduler partition becomes bankrupt

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.