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
