On 8/7/19 10:11 AM, Marc Zyngier wrote:> > Already fixed (together with all the other KVM/arm warnings/bugs), and> pull request sent to Paolo.> Awesome. :)Thanks, Marc.--Gustavo