Sorry, we have no experience with GreenHills here, in Freescale (now - NXP) technical support, so my response will be based on 8572 hardware
From the hardware point of view:
1. One core may be enabled (allowed to fetch instructions), but second core may be disabled.
2. Downloading is performed to memory, but not to core. Memory is one for both cores, so it is not clear what exactly happens when you say "only able to download the Integrity OS kernel to Core 0, not Core 1".
3. The same for serial output - serial controller is not part of core, it is accessible from both cores, so the fact that you do not see serial output from one of cores means this core is not running.
Have a great day,
Alexxander
-----------------------------------------------------------------------------------------------------------------------
Note: If this post answers your question, please click the Correct Answer button. Thank you!
-----------------------------------------------------------------------------------------------------------------------