commit | 1baa28bb2dc79f23c550d67604324afd222221c3 | [log] [tgz] |
---|---|---|
author | Antonio Niño Díaz <antonio.ninodiaz@arm.com> | Wed Feb 27 17:15:13 2019 +0000 |
committer | GitHub <noreply@github.com> | Wed Feb 27 17:15:13 2019 +0000 |
tree | c941d51315b572bf01f147a12b72f65c90bb2408 | |
parent | 57bc6424cd7021e64d2af876b7d79b685893a208 [diff] | |
parent | 10608a63d89ff5b43f227f6f34787bd8cb5131f9 [diff] |
Merge pull request #1841 from antonio-nino-diaz-arm/an/fix-gensmc trusty: Include file with GIC definitions