Fatal kernel mode data abort: 'External Non-Linefetch Abort (S)' trapframe: 0x80681ee8 FSR=00001808, FAR=e2331010, spsr=60000193 r0 =00000000, r1 =e2331000, r2 =00000010, r3 =00000002 r4 =000003e8, r5 =9ffa0120, r6 =8063a240, r7 =00000002 r8 =80651254, r9 =806431c0, r10=87ffc01b, r11=80681f54 r12=8030db64, ssp=80681f38, slr=80444d6c, pc =8030db64 Stopped in pid 0.1 (system) at netbsd:generic_bs_w_4: str r3, [r1, r2]
Ah. A kernel compiled without options DIAGNOSTIC panics, and with the option it's fine.
John