diff --git a/arch/arm/Kconfig b/arch/arm/Kconfig
index d6c5658..3649222 100644
--- a/arch/arm/Kconfig
+++ b/arch/arm/Kconfig
@@ -1259,6 +1259,7 @@
 
 config ARCH_ZYNQ
 	bool "Xilinx Zynq based platform"
+	select ARM_TWD_TIMER
 	select CLK
 	select CLK_ZYNQ
 	select CPU_V7A
@@ -1278,7 +1279,9 @@
 	select SPL_DM_SPI_FLASH if SPL
 	select SPL_OF_CONTROL if SPL
 	select SPL_SEPARATE_BSS if SPL
+	select SPL_TIMER if SPL
 	select SUPPORT_SPL
+	select TIMER
 	imply ARCH_EARLY_INIT_R
 	imply BOARD_LATE_INIT
 	imply CMD_CLK