On 09/03/2016 08:29, Marc Zyngier wrote: > - VHE support so that we can run the kernel at EL2 on ARMv8.1 systems > - PMU support for guests > - 32bit world switch rewritten in C > - Various optimizations to the vgic save/restore code Pulled, thanks! Paolo -- To unsubscribe from this list: send the line "unsubscribe kvm" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html