diff options
author | Antonio Niño Díaz <antonio.ninodiaz@arm.com> | 2019-02-15 11:03:06 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-02-15 11:03:06 +0000 |
commit | 833216666fe0083d55a275886ca7b272e13dde6b (patch) | |
tree | 7c994ae21126a6277da16f53256eb5fbdae69ea4 /docs/platform-interrupt-controller-API.rst | |
parent | eaea119ea12d20837d3ada880621ac0a895f98eb (diff) | |
parent | 8f457dacb03564572c1ec2088813ef226d1d7525 (diff) |
Merge pull request #1822 from antonio-nino-diaz-arm/an/plat-arm
docs: Update note about plat/arm in Porting Guide
Diffstat (limited to 'docs/platform-interrupt-controller-API.rst')
0 files changed, 0 insertions, 0 deletions