Merge pull request #1841 from antonio-nino-diaz-arm/an/fix-gensmc
authorAntonio Niño Díaz <antonio.ninodiaz@arm.com>
Wed, 27 Feb 2019 17:15:13 +0000 (17:15 +0000)
committerGitHub <noreply@github.com>
Wed, 27 Feb 2019 17:15:13 +0000 (17:15 +0000)
commit1baa28bb2dc79f23c550d67604324afd222221c3
treec941d51315b572bf01f147a12b72f65c90bb2408
parent57bc6424cd7021e64d2af876b7d79b685893a208
parent10608a63d89ff5b43f227f6f34787bd8cb5131f9
Merge pull request #1841 from antonio-nino-diaz-arm/an/fix-gensmc

trusty: Include file with GIC definitions