Merge pull request #1396 from ruchi393/multiple_fip
authorDimitris Papastamos <dimitris.papastamos@arm.com>
Wed, 4 Jul 2018 10:46:51 +0000 (11:46 +0100)
committerGitHub <noreply@github.com>
Wed, 4 Jul 2018 10:46:51 +0000 (11:46 +0100)
Extend FIP io driver to support multiple FIP devices


Trivial merge