Richard,

> I can supply more info if you tell me how to extract it.
> 
The output from 'dmesg' might be useful; arm32/fault.c dumps some stuff
to the console whenever "interesting" fault events happen. Several times
I've seen an app. (usually the X server) get hung up in such a loop,
with reams of "Translation faults" or something similar spewing onto the
serial console. The two may not be related though. :-/

Cheers, Steve