Merge pull request #792 from masahir0y/zynqmp
authordanh-arm <dan.handley@arm.com>
Tue, 20 Dec 2016 17:00:59 +0000 (17:00 +0000)
committerGitHub <noreply@github.com>
Tue, 20 Dec 2016 17:00:59 +0000 (17:00 +0000)
commite60f1897511c3852bd3e1bfc88c9ca7a6b2a1131
treed392ef6e3f180d418d7ee8fee056cf13fdb71abd
parentbd83b41a3037a44905410a15f9a19bc30a7130e5
parent34071d6aeca50ff8108a1a20c225c29b6db1d69a
Merge pull request #792 from masahir0y/zynqmp

zynqmp: add "override" directive to mandatory options