Merge pull request #1386 from soby-mathew/sm/dyn_bl31
authorDimitris Papastamos <dimitris.papastamos@arm.com>
Wed, 23 May 2018 11:45:13 +0000 (12:45 +0100)
committerGitHub <noreply@github.com>
Wed, 23 May 2018 11:45:13 +0000 (12:45 +0100)
commit0d018306d41a36582830e58761cba9d5b647f05b
tree07ffc5132c502130034b2e27745350226b2e30f6
parent41e48fed9a2ccecf7e8a53b8ad5574d038176dd7
parent1d71ba141d32c9e8974d4e3e973a90fd0c6bf458
Merge pull request #1386 from soby-mathew/sm/dyn_bl31

Extend dynamic configuration
docs/user-guide.rst