Merge pull request #1562 from antonio-nino-diaz-arm/an/bl31-warn
authorDimitris Papastamos <dimitris.papastamos@arm.com>
Fri, 7 Sep 2018 08:54:33 +0000 (09:54 +0100)
committerGitHub <noreply@github.com>
Fri, 7 Sep 2018 08:54:33 +0000 (09:54 +0100)
commite976e1fdb4f936352262122e5c3e80aff11bdc6b
tree789e59f2ab4dfd0296261a1d40c323b87b924d90
parent783fd8e00f7a58462891ff16fa3f10f635df7a12
parent46b9aa764b535178cf7c4ab85a5cc3de7a154ae4
Merge pull request #1562 from antonio-nino-diaz-arm/an/bl31-warn

Convert BL31 error message into warning