Enable preloaded BL33 alternative boot flow
authorAntonio Nino Diaz <antonio.ninodiaz@arm.com>
Mon, 15 Feb 2016 14:53:10 +0000 (14:53 +0000)
committerAntonio Nino Diaz <antonio.ninodiaz@arm.com>
Wed, 2 Mar 2016 16:12:54 +0000 (16:12 +0000)
commitcf2c8a33e02029d9b15f4b428b1ddd0ec4e687a4
tree86e022c44a9076f7547ef04c3d0c23a5d7ae525f
parent85320724af73d0015d2cb0e99d59c292290b6ce5
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
Makefile
bl2/bl2_main.c
docs/porting-guide.md
docs/user-guide.md