diff --git a/arch/arm/mach-rockchip/rk3288-board.c b/arch/arm/mach-rockchip/rk3288-board.c
index 535f871799..9ec1d420a2 100644
--- a/arch/arm/mach-rockchip/rk3288-board.c
+++ b/arch/arm/mach-rockchip/rk3288-board.c
@@ -16,6 +16,7 @@
 #include <asm/arch/pmu_rk3288.h>
 #include <asm/arch/qos_rk3288.h>
 #include <asm/arch/boot_mode.h>
+#include <asm/arch/timer.h>
 #include <asm/gpio.h>
 #include <dm/pinctrl.h>
 #include <dt-bindings/clock/rk3288-cru.h>
@@ -162,6 +163,8 @@ int board_init(void)
 	struct udevice *pinctrl;
 	int ret;
 
+	rockchip_timer_init();
+
 	/*
 	 * We need to implement sdcard iomux here for the further
 	 * initlization, otherwise, it'll hit sdcard command sending