On Wed, 7 Dec 2016, Julien Grall wrote:
> The vGICv3 depends whether Xen has a host driver for GICv3, not on the
> architecture (AArch64 vs AArch32).
> 
> Note CONFIG_HAS_GICV3 is enabled only when for ARM64 build, so there is
> no functional change.
> 
> Signed-off-by: Julien Grall <julien.gr...@arm.com>

Reviewed-by: Stefano Stabellini <sstabell...@kernel.org>

> ---
>  xen/arch/arm/Makefile | 2 +-
>  1 file changed, 1 insertion(+), 1 deletion(-)
> 
> diff --git a/xen/arch/arm/Makefile b/xen/arch/arm/Makefile
> index f165178..59b3b53 100644
> --- a/xen/arch/arm/Makefile
> +++ b/xen/arch/arm/Makefile
> @@ -43,7 +43,7 @@ obj-y += time.o
>  obj-y += traps.o
>  obj-y += vgic.o
>  obj-y += vgic-v2.o
> -obj-$(CONFIG_ARM_64) += vgic-v3.o
> +obj-$(CONFIG_HAS_GICV3) += vgic-v3.o
>  obj-y += vm_event.o
>  obj-y += vtimer.o
>  obj-y += vpsci.o
> -- 
> 1.9.1
> 

_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
https://lists.xen.org/xen-devel

Reply via email to