I'm running VxWorks SMP on a P4080 and have a situation where core 0 becomes unresponsive and is not processing interrupts. The other cores are still running.
The problem is occuring at a customer site and we do not yet have a good repro, so a hardware debugger is not really an option.
I therefore want to try and dump the register state of core 0 from one of the other cores on the chip. The P4080 Ref Manual 27.9.7 "Debugging Device when Not Responding" says that this is possible, but does not say how. Can anyone point me at a manual or registers that describe how I can implement this function?