commit | 08eef17727774b43efdca5f1f582aa0bc95d4214 | [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 | 5c61c0c4bc723773d80eda91341aec0717f32a3d [diff] | |
parent | dfc1d3c0af998ee21ffecc82ea2c4cdea385950c [diff] |
Merge pull request #1841 from antonio-nino-diaz-arm/an/fix-gensmc trusty: Include file with GIC definitions