tree 3a1acc416b0b0a7affc7de45d06d241c761614a3
parent 64cc6e91e819ccbf5fe3bf8a5c177b8fa8012d8c
author Etienne Carriere <etienne.carriere@linaro.org> 1510148507 +0100
committer Etienne Carriere <etienne.carriere@linaro.org> 1510148507 +0100

ARMv7 may not support Generic Timer Extension

If ARMv7 based platform does not set ARM_CORTEX_Ax=yes, platform
shall define ARMV7_SUPPORTS_GENERIC_TIMER to enable generic timer
support.

Signed-off-by: Etienne Carriere <etienne.carriere@linaro.org>