[PATCH] arm64: berlin: Select DW_APB_TIMER_OF

[Jisheng Zhang]

Berlin SoCs always contain some DW APB timers which can be used as an
always-on broadcast timer.

Signed-off-by: Jisheng Zhang <Jisheng.Zhang at synaptics.com>
---

Hi Arnd, Olof,

Berlin SoC only contains this one patch, so I send the patch to you directly.

Thanks

 arch/arm64/Kconfig.platforms | 1 +
 1 file changed, 1 insertion(+)

diff --git a/arch/arm64/Kconfig.platforms b/arch/arm64/Kconfig.platforms
index 6f2494dd6d60..5c4ac1c9f4e0 100644
--- a/arch/arm64/Kconfig.platforms
+++ b/arch/arm64/Kconfig.platforms
@@ -54,6 +54,7 @@ config ARCH_BCM_IPROC
 config ARCH_BERLIN
 	bool "Marvell Berlin SoC Family"
 	select DW_APB_ICTL
+	select DW_APB_TIMER_OF
 	select GPIOLIB
 	select PINCTRL
 	help
-- 
2.28.0