Merge pull request #625 from antonio-nino-diaz-arm/an/delay-timer-v2
authordanh-arm <dan.handley@arm.com>
Tue, 24 May 2016 15:12:08 +0000 (16:12 +0100)
committerdanh-arm <dan.handley@arm.com>
Tue, 24 May 2016 15:12:08 +0000 (16:12 +0100)
Implement generic delay timer and use it on platforms


Trivial merge