On 26 November 2014 at 16:07, Andrew Jones <drjones@xxxxxxxxxx> wrote: > There appears to be a typo in the ARM ARM. Subsection "Software > Breakpoint Instruction exception" of D1.10.4 says BRK (ESR_EL2_EC_BRK64) > is 0x39, but the table above that has it correctly as 0x3c. Thanks for pointing out this typo -- I've reported it to the appropriate documentation people. -- PMM -- To unsubscribe from this list: send the line "unsubscribe kvm" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html