commit | d636f67e60d65a0eaa5f7d5588ace3f6f3d66563 | [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 | a45ccf135e48efc70006055c32e8a89fddb38db2 [diff] | |
parent | 29a24134c170af1cda1b59e5f47071c8353ce3b9 [diff] |
Merge pull request #1805 from antonio-nino-diaz-arm/an/generic-timer drivers: generic_delay_timer: Assert presence of Generic Timer