This patch adds support for GICv3 (such as GIC-500).
Signed-off-by: Jan Kotas <jank@cadence.com>
Signed-off-by: Thomas Petazzoni <thomas.petazzoni@bootlin.com>
Boot secondary SMP cores using PSCI firmware calls. If
disabled, the spin-table method is used instead.
+config BR2_TARGET_BOOT_WRAPPER_AARCH64_GICV3
+ bool "Enable GICv3 instead of GICv2"
+ help
+ Boot using GICv3 instead of GICv2.
+
endif
BOOT_WRAPPER_AARCH64_CONF_OPTS += --disable-psci
endif
+ifeq ($(BR2_TARGET_BOOT_WRAPPER_AARCH64_GICV3),y)
+BOOT_WRAPPER_AARCH64_CONF_OPTS += --enable-gicv3
+endif
+
# We need to convince the configure script that the Linux kernel tree
# exists, as well as the DTB and the kernel Image. Even though those
# are available on the build machine, the configure script uses