On 22/04/2015 17:08, Marc Zyngier wrote: > Paolo, Marcelo, > > This is the second pull request for the KVM/ARM updates targeting > v4.1. Not much to see this time, just a couple of borring fixes. Pulled. Paolo