Find the fault
• Type ‘r’ to get the values of all the registers
… the ones to look at depends on the processor
mode!
• Type ‘c0’ to get the details of all the threads
… ‘C0’ will pause between each screen full