Hello all,
I made a useful discovery tonight... if you go into gdb on the kernel (it
doesn't have to be running) and type
(gdb) x /1iw 0x800?????
gdb will tell you the name of the function and the assembly instruction.
This is useful to debug errors giving you an EPC and not much else...
Richard