Special considerations for debugging emulated hardware platforms with SMP

Processors (computing kernels) are presented as threads.

To display information about processors, call the following GDB command:

info threads

To switch to another processor, call the following GDB command:

thread <Id value received by calling the GDB command info threads>

Page top