On 16/09/2016 14:29, Christoffer Dall wrote: > > It may be useful for migrating a gicv2 VM to a gicv3 host without gicv2 emulation as well. > > I don't see why you'd do this; the VGIC hardware can perfectly well be > used for nesting as well, and this works rather well. Can GICv3 emulate GICv2 in a guest? Paolo