An error occurred while fetching folder content.
Fix BL33_BASE option to work with RESET_TO_BL31
Antonio Nino Diaz authored
The BL33 address is now set in arm_bl31_early_platform_setup() so
that the preloaded BL33 boot option is available when RESET_TO_BL31
is also used.

Change-Id: Iab93e3916f9199c3387886b055c7cd2315efed29
d5d6b896
Name Last commit Last update
..