Merge pull request #1369 from sivadur/xilinxdiff
authordanh-arm <dan.handley@arm.com>
Thu, 17 May 2018 17:20:59 +0000 (18:20 +0100)
committerGitHub <noreply@github.com>
Thu, 17 May 2018 17:20:59 +0000 (18:20 +0100)
Xilinx platform mangement related changes


Trivial merge