| commit | df0bb5a9f7d7e6b51f41dd39629dd142cbdaf845 | [log] [tgz] |
|---|---|---|
| author | Antonio Nino Diaz <antonio.ninodiaz@arm.com> | Fri Jul 13 20:19:21 2018 +0100 |
| committer | Antonio Nino Diaz <antonio.ninodiaz@arm.com> | Mon Jul 16 15:56:42 2018 +0100 |
| tree | ced69308e8dd39625d8c0d2b8e4263464bc74dc1 | |
| parent | a3191d519282a044573e81e9a38ef8ea8f56a21d [diff] |
rpi3: Remove broken support of RESET_TO_BL31 There is no way to boot BL31 at the addresses specified in the platform memory map unless an extra loader is used at address 0x00000000. It is better to remove it to prevent confusion. Having it enabled was a bug. Change-Id: I3229fbc080f5996cff47efce8e799bae94e0d5cb Signed-off-by: Antonio Nino Diaz <antonio.ninodiaz@arm.com>