diff options
author | Antonio Niño Díaz <antonio.ninodiaz@arm.com> | 2019-02-06 10:20:12 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-02-06 10:20:12 +0000 |
commit | d636f67e60d65a0eaa5f7d5588ace3f6f3d66563 (patch) | |
tree | 4830fd15df3426b973522bc040e0ec69131c7c5b /bl31/bl31.mk | |
parent | a45ccf135e48efc70006055c32e8a89fddb38db2 (diff) | |
parent | 29a24134c170af1cda1b59e5f47071c8353ce3b9 (diff) | |
download | trusted-firmware-a-d636f67e60d65a0eaa5f7d5588ace3f6f3d66563.tar.gz |
Merge pull request #1805 from antonio-nino-diaz-arm/an/generic-timer
drivers: generic_delay_timer: Assert presence of Generic Timer
Diffstat (limited to 'bl31/bl31.mk')
0 files changed, 0 insertions, 0 deletions