]> git.baikalelectronics.ru Git - arm-tf.git/commitdiff
Merge pull request #320 from danh-arm/rh/timer-api-v10
authordanh-arm <dan.handley@arm.com>
Thu, 18 Jun 2015 15:55:47 +0000 (16:55 +0100)
committerdanh-arm <dan.handley@arm.com>
Thu, 18 Jun 2015 15:55:47 +0000 (16:55 +0100)
Add delay timer API v10


Trivial merge