Has anyone been able to successfully get the hw watchdog working on the board? I set up the watchdog (in uboot), watched it count up to the overflow value and it halts the processor, but does not warm reset like I would expect. 

If I read the TRM correctly, this is a hardware line that should warm reset the power. All of the logic for doing this is in the am3517 chip, so I don't see a lot of information for how to debug this. Is there something that I have to change in the PCRM?