rpi3: Remove broken support of RESET_TO_BL31
authorAntonio Nino Diaz <antonio.ninodiaz@arm.com>
Fri, 13 Jul 2018 19:19:21 +0000 (20:19 +0100)
committerAntonio Nino Diaz <antonio.ninodiaz@arm.com>
Mon, 16 Jul 2018 14:56:42 +0000 (15:56 +0100)
commit98967fb14a870e6b6fd7f87f8d13a93063c09e3c
treeced69308e8dd39625d8c0d2b8e4263464bc74dc1
parentf9d2808a1ceb1e93a99ecfba9020efaa76d09ab5
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>
docs/plat/rpi3.rst
plat/rpi3/platform.mk
plat/rpi3/rpi3_bl31_setup.c