Merge pull request #1557 from sivadur/integration
authorDimitris Papastamos <dimitris.papastamos@arm.com>
Wed, 5 Sep 2018 11:18:01 +0000 (12:18 +0100)
committerGitHub <noreply@github.com>
Wed, 5 Sep 2018 11:18:01 +0000 (12:18 +0100)
Xilinx latest platform related changes


Trivial merge