Replace MediaTek delay timer by generic one
authorAntonio Nino Diaz <antonio.ninodiaz@arm.com>
Thu, 5 May 2016 14:23:56 +0000 (15:23 +0100)
committerAntonio Nino Diaz <antonio.ninodiaz@arm.com>
Fri, 20 May 2016 14:29:30 +0000 (15:29 +0100)
commit1d0b990e9d7e28fdf0de588815cd21d88c9fc2b7
treec64d2553e8beaf427ee4f6a0a1f4c53afece1d53
parent32cd95f094eaa17631a08dca214ea61b06937f6c
Replace MediaTek delay timer by generic one

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

Change-Id: If6b8f60bc04230f4b85b2bcc1b670fc65461214e
plat/mediatek/mt8173/bl31_plat_setup.c
plat/mediatek/mt8173/include/mt8173_def.h
plat/mediatek/mt8173/include/plat_private.h
plat/mediatek/mt8173/plat_delay_timer.c [deleted file]
plat/mediatek/mt8173/platform.mk