Marc, On Tue, 17 Jan 2017, Marc Zyngier wrote: > This series implements the core support for GICv4. And despite its > size, it does exactly *nothing*. What it adds is an infrastructure > that a hypervisor (KVM) can use to route VLPIs to a guest. That's a very well done patch set and it was a pleasure to review! Thanks, tglx