[U-Boot] [PATCH v4 02/11] arm: add the ARM_GIC configuration option

Some SoC does not have a GIC. Adds a configuration option to denote this, allowing to remove code configuring the GIC when it's not possible.

Signed-off-by: Antoine Tenart antoine.tenart@free-electrons.com Cc: Albert Aribaud albert.u.boot@aribaud.net --- arch/arm/Kconfig | 3 +++ 1 file changed, 3 insertions(+)

diff --git a/arch/arm/Kconfig b/arch/arm/Kconfig index d8669ce7d6b1..c7aebae3b039 100644 --- a/arch/arm/Kconfig +++ b/arch/arm/Kconfig @@ -13,6 +13,9 @@ config DMA_ADDR_T_64BIT bool default y if ARM64

+config ARM_GIC + bool + config HAS_VBAR bool