tree 86e022c44a9076f7547ef04c3d0c23a5d7ae525f
parent 85320724af73d0015d2cb0e99d59c292290b6ce5
author Antonio Nino Diaz <antonio.ninodiaz@arm.com> 1455547990 +0000
committer Antonio Nino Diaz <antonio.ninodiaz@arm.com> 1456935174 +0000

Enable preloaded BL33 alternative boot flow

Enable alternative boot flow where BL2 does not load BL33 from
non-volatile storage, and BL31 hands execution over to a preloaded
BL33.

The flag used to enable this bootflow is BL33_BASE, which must hold
the entrypoint address of the BL33 image. The User Guide has been
updated with an example of how to use this option with a bootwrapped
kernel.

Change-Id: I48087421a7b0636ac40dca7d457d745129da474f