On 25/07/16 15:28, Andrew Jones wrote: > On Mon, Jul 25, 2016 at 03:05:46PM +0100, Marc Zyngier wrote: >> News flash: Mark Rutland just saw it crashing on his Seattle using my >> kernel that doesn't crash on mine. So we're looking at external factors >> now. DT, firmware, whatever. > > Interesting, especially with the information that the bug is also > on v7 with uboot (where it's present with 4k pages), and on v8 > with UEFI (where it's not present with 4k pages, only 64k) Yup. Transplanting Mark's DT to my Seattle had finally triggered it. Time for some diff'ing... M. -- Jazz is not dead. It just smells funny... _______________________________________________ kvmarm mailing list kvmarm@xxxxxxxxxxxxxxxxxxxxx https://lists.cs.columbia.edu/mailman/listinfo/kvmarm