On 3 April 2014 20:56, Richard Henderson <r...@twiddle.net> wrote: > Since the kernel doesn't pass any info on the reason for the fault,
There are now patches proposed to the kernel to supply this: http://www.spinics.net/lists/arm-kernel/msg320268.html thanks -- PMM
