commit | 8f1f2af19acb58797eb4b0ce14c824533239dd3c | [log] [tgz] |
---|---|---|
author | Antonio Niño Díaz <antonio.ninodiaz@arm.com> | Wed Feb 06 10:20:12 2019 +0000 |
committer | GitHub <noreply@github.com> | Wed Feb 06 10:20:12 2019 +0000 |
tree | 4830fd15df3426b973522bc040e0ec69131c7c5b | |
parent | f6d7e44335d1050e27abf3982bb572bad4b4ba1c [diff] | |
parent | d29d21e3692426db601fb734525dccbfb357d70d [diff] |
Merge pull request #1805 from antonio-nino-diaz-arm/an/generic-timer drivers: generic_delay_timer: Assert presence of Generic Timer