I have a Whitefin development board with a PPC 8572 chip on it. I've connected a Green Hills probe to this. It can connect to both cores of this chip but it is only able to download the Integrity OS kernel to Core 0, not Core 1. I'm not sure where it is getting stuck. I don't see any serial output for Core 1.