Replace Rockchip delay timer by generic one
Use the generic delay timer instead of having a specific platform
file for configuring it.

Change-Id: Ifa68b9c97cd96ae1190cee74d22d729af95e4537
1 parent 1d0b990 commit 6704f425ddb2772bd9a2b9dacacbefcbb00dcf28
@Antonio Nino Diaz Antonio Nino Diaz authored on 5 May 2016
Showing 6 changed files
View
plat/rockchip/common/bl31_plat_setup.c
View
plat/rockchip/common/plat_delay_timer.c 100644 → 0
View
plat/rockchip/rk3368/platform.mk
View
plat/rockchip/rk3368/rk3368_def.h
View
plat/rockchip/rk3399/platform.mk
View
plat/rockchip/rk3399/rk3399_def.h