tree 0de466b73e415594651b44e68245263158ec8a7f
parent 0bcedb2212bd2436834117cd956d7b6e16b11673
author Antonio Nino Diaz <antonio.ninodiaz@arm.com> 1463474890 +0100
committer Antonio Nino Diaz <antonio.ninodiaz@arm.com> 1463754570 +0100

Replace SP804 timer by generic delay timer on FVP

Added a build flag to select the generic delay timer on FVP instead
of the SP804 timer. By default, the generic one will be selected. The
user guide has been updated.

Change-Id: Ica34425c6d4ed95a187b529c612f6d3b26b78bc6