Merge pull request #1809 from antonio-nino-diaz-arm/an/fix-trusty
authorAntonio Niño Díaz <antonio.ninodiaz@arm.com>
Fri, 8 Feb 2019 13:53:15 +0000 (13:53 +0000)
committerGitHub <noreply@github.com>
Fri, 8 Feb 2019 13:53:15 +0000 (13:53 +0000)
trusty: Require dynamic translation tables


Trivial merge