arm64: Kconfig: select sp804 timer for ARCH_HISI

Select sp804 timer for ARCH_HISI, which is used as broadcast timer.

Signed-off-by: Leo Yan <leo.yan@linaro.org>
Signed-off-by: Wei Xu <xuwei5@hisilicon.com>

diff --git a/arch/arm64/Kconfig.platforms b/arch/arm64/Kconfig.platforms
index efa77c146415b64d774a9811d30268e690d354d1..759a7e0c50abdaf5779687add560aea27f87a94f 100644 (file)
--- a/arch/arm64/Kconfig.platforms
+++ b/arch/arm64/Kconfig.platforms
@@ -45,6 +45,7 @@ config ARCH_LAYERSCAPE
 
 config ARCH_HISI
        bool "Hisilicon SoC Family"
+       select ARM_TIMER_SP804
        select HISILICON_IRQ_MBIGEN
        help
          This enables support for Hisilicon ARMv8 SoC family