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 /docs/user-guide.rst | |
| parent | a45ccf135e48efc70006055c32e8a89fddb38db2 (diff) | |
| parent | 29a24134c170af1cda1b59e5f47071c8353ce3b9 (diff) | |
| download | platform_external_arm-trusted-firmware-d636f67e60d65a0eaa5f7d5588ace3f6f3d66563.tar.gz platform_external_arm-trusted-firmware-d636f67e60d65a0eaa5f7d5588ace3f6f3d66563.tar.bz2 platform_external_arm-trusted-firmware-d636f67e60d65a0eaa5f7d5588ace3f6f3d66563.zip | |
Merge pull request #1805 from antonio-nino-diaz-arm/an/generic-timer
drivers: generic_delay_timer: Assert presence of Generic Timer
Diffstat (limited to 'docs/user-guide.rst')
0 files changed, 0 insertions, 0 deletions