On Tue, 2018-08-21 at 16:34 +0100, Marc Zyngier wrote:> Could you give that patchlet[1] a go? It solves a similar issue for me> on a different platform.> > [1] https://lists.cs.columbia.edu/pipermail/kvmarm/2018-August/032469.htmlYup, all better. -Mike