tree c941d51315b572bf01f147a12b72f65c90bb2408
parent 5c61c0c4bc723773d80eda91341aec0717f32a3d
parent dfc1d3c0af998ee21ffecc82ea2c4cdea385950c
author Antonio Niño Díaz <antonio.ninodiaz@arm.com> 1551287713 +0000
committer GitHub <noreply@github.com> 1551287713 +0000

Merge pull request #1841 from antonio-nino-diaz-arm/an/fix-gensmc

trusty: Include file with GIC definitions