KasperskyOS Community Edition 1.3
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>