Hmm, as mentioned in port-arm32/11921 (and apparently similarly in 
kern/9859), my shark is wedging up from time to time.  No error, no 
keyboard, no panic.

Is there anything on the shark that uses the FIQ?  If so, what?  and can I 
add some code that might allow me to create a watchdog?  If not, is there 
anything I can add (Heath Robinson if necessary) that would allow me to do 
this?

R.