Особенности отладки при эмуляции аппаратных платформ с SMP

Процессоры (вычислительные ядра) представляются как потоки исполнения.

Чтобы вывести сведения о процессорах, нужно вызвать следующую GDB-команду:

info threads

Чтобы переключиться на другой процессор, нужно вызвать следующую GDB-команду:

thread <значение Id, полученное вызовом GDB-команды info threads>