paul@clubi.ie wrote:

> > Is it 100% reproducible?
> 
> Strangely enough, no.

That is one reason why we can't debug it enough.

> It's a bit annoying when it happens, have to go hunt for a 
> paper clip to stick in the hard-reset pin-hole. :( Presumably some 
> kind of PROM interaction?

Indeed. If you see the problem again, could you try the following
commands to reset the watchdog register on ddb's "db>" prompt
(after sending break on your terminal):
db> w 0xb4000008 0x200
db> w 0xb4000030 0
db> reboot

(unfortunately my IP32 was dead recently...)
---
Izumi Tsutsui