tree 4830fd15df3426b973522bc040e0ec69131c7c5b
parent a45ccf135e48efc70006055c32e8a89fddb38db2
author Antonio Nino Diaz <antonio.ninodiaz@arm.com> 1549444984 +0000
committer Antonio Nino Diaz <antonio.ninodiaz@arm.com> 1549446882 +0000

drivers: generic_delay_timer: Assert presence of Generic Timer

The Generic Timer is an optional extension to an ARMv7-A implementation.
The generic delay timer can be used from any architecture supported by
the Trusted Firmware. In ARMv7 it is needed to check that this feature
is present. In ARMv8 it is always present.

Change-Id: Ib7e8ec13ffbb2f64445d4ee48ed00f26e34b79b7
Signed-off-by: Antonio Nino Diaz <antonio.ninodiaz@arm.com>