On Tue, 2015-07-07 at 17:22 +0100, Julien Grall wrote: > Julien Grall (3): > xen/arm: Rename XEN_DOMCTL_CONFIG_GIC_DEFAULT to > XEN_DOMCTL_CONFIG_GIC_NATIVE
Applied this one. > arm: Allow the user to specify the GIC version But this one caused a build failure, I've replied to the patch. > xen/arm: gic-v3: Add support of vGICv2 when available _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org http://lists.xen.org/xen-devel
