Add a config option to enable GICv4 support and include the corresponding source file in the build system.
Signed-off-by: Mykyta Poturai <[email protected]> --- xen/arch/arm/Kconfig | 6 ++++++ xen/arch/arm/Makefile | 1 + 2 files changed, 7 insertions(+) diff --git a/xen/arch/arm/Kconfig b/xen/arch/arm/Kconfig index 442d353b43..c18eca9f9a 100644 --- a/xen/arch/arm/Kconfig +++ b/xen/arch/arm/Kconfig @@ -255,6 +255,12 @@ config ARM64_BTI Branch Target Identification support. This feature is not supported in Xen. +config GICV4 + bool "GICv4 driver" + depends on GICV3 && HAS_ITS + help + Driver for ARM Generic Interrupt Controller v4 extension. + source "arch/arm/tee/Kconfig" config PARTIAL_EMULATION diff --git a/xen/arch/arm/Makefile b/xen/arch/arm/Makefile index 95bc7ad25e..8569df571b 100644 --- a/xen/arch/arm/Makefile +++ b/xen/arch/arm/Makefile @@ -27,6 +27,7 @@ obj-y += gic.o obj-$(CONFIG_GICV2) += gic-v2.o obj-$(CONFIG_GICV3) += gic-v3.o obj-$(CONFIG_HAS_ITS) += gic-v3-its.o +obj-$(CONFIG_GICV4) += gic-v4-its.o obj-$(CONFIG_HAS_ITS) += gic-v3-lpi.o obj-y += guestcopy.o obj-y += guest_atomics.o -- 2.51.2
