On 22/08/18 14:38, Mike Galbraith wrote: > 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.html > > Yup, all better. Now I'm not sure it actually fixes anything. Alex's test case seem to have opened a new can of worms... In tracing hell at the moment. Thanks, M. -- Jazz is not dead. It just smells funny...