commit | e976e1fdb4f936352262122e5c3e80aff11bdc6b | [log] [tgz] |
---|---|---|
author | Dimitris Papastamos <dimitris.papastamos@arm.com> | Fri Sep 07 09:54:33 2018 +0100 |
committer | GitHub <noreply@github.com> | Fri Sep 07 09:54:33 2018 +0100 |
tree | 789e59f2ab4dfd0296261a1d40c323b87b924d90 | |
parent | 783fd8e00f7a58462891ff16fa3f10f635df7a12 [diff] | |
parent | 46b9aa764b535178cf7c4ab85a5cc3de7a154ae4 [diff] |
Merge pull request #1562 from antonio-nino-diaz-arm/an/bl31-warn Convert BL31 error message into warning