[PATCH] arm64: Enable SPRD_TIMER

[Baolin Wang]

Enable Spreadtrum timer driver for Spreadtrum plaform, which will be used
as tick broadcast device.

Signed-off-by: Baolin Wang <baolin.wang at linaro.org>
---
 arch/arm64/Kconfig.platforms |    1 +
 1 file changed, 1 insertion(+)

diff --git a/arch/arm64/Kconfig.platforms b/arch/arm64/Kconfig.platforms
index fbedbd8..3e0bbb0 100644
--- a/arch/arm64/Kconfig.platforms
+++ b/arch/arm64/Kconfig.platforms
@@ -224,6 +224,7 @@ config ARCH_TEGRA
 
 config ARCH_SPRD
 	bool "Spreadtrum SoC platform"
+	select SPRD_TIMER
 	help
 	  Support for Spreadtrum ARM based SoCs
 
-- 
1.7.9.5