On the Zynq SoC, there are dual ARM CPUs. However, there are naming inconsistencies in the SDK tool and the XMD tool. For example, in SDK, the CPUs are numbered as 0 and 1 - the default being 0.
In XMD, the numbers are 1 and 2.
This issue is only seen in Zynq systems. Users using Zynq SoC need to be aware of the naming when using the SDK or XMD tools.