tree cc01a644b84f7e07215a4920c3053ce4ddfb3f50
parent a8f1a03157dd3064d7a7b68484a41dfac5d6909b
parent 2361fcc24159e2a9b7f0a882b2bf2095eae3e9cb
author danh-arm <dan.handley@arm.com> 1464102728 +0100
committer danh-arm <dan.handley@arm.com> 1464102728 +0100

Merge pull request #625 from antonio-nino-diaz-arm/an/delay-timer-v2

Implement generic delay timer and use it on platforms