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)
commit32bcba0020b0ec7a3ae8f3c7098433f6c02cbe3f
tree4bc8029002348117236ec5550a23e5f5d36c9b91
parentf41a9126d53d5b419e1ff4758f7293962f366314
parent37d9458f11e057e853b9e0c75a519a317dd54aa6
Merge pull request #1809 from antonio-nino-diaz-arm/an/fix-trusty

trusty: Require dynamic translation tables