| Message ID | 20161006143401.12012-2-antoine.tenart@free-electrons.com |
|---|---|
| State | Superseded |
| Delegated to: | Tom Rini |
| Headers | show |
diff --git a/arch/arm/Kconfig b/arch/arm/Kconfig index f55d5b2cd743..f361a47fc52f 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
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> --- arch/arm/Kconfig | 3 +++ 1 file changed, 3 insertions(+)