tree cc01a644b84f7e07215a4920c3053ce4ddfb3f50
parent d1d716531db8d52101d9168a79d4b6acaef976fe
parent 6704f425ddb2772bd9a2b9dacacbefcbb00dcf28
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