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) drew _______________________________________________ kvmarm mailing list kvmarm@xxxxxxxxxxxxxxxxxxxxx https://lists.cs.columbia.edu/mailman/listinfo/kvmarm
