[U-Boot] [PATCH 0/7] Switch WaRP7 BL33 to mbed Linux specific bootflow

[Bryan O'Donoghue]

This series switches the BL33 version of WaRP7 to an mbed Linux specific bootflow.

https://os.mbed.com/blog/entry/Introducing-Arm-Mbed-Linux-OS/

The bootflow for our port to the WaRP7 is:

BootROM -> TF-A -> OP-TEE -> u-boot -> Linux with the transition from
OP-TEE to Linux also representing the transition from secure to normal
world.

Here a Trusted-Firmware FIP image contains signed versions of OP-TEE and
u-boot and a u-boot FIT image contains Kernel DTB, initrd, bootscript and
Kernel.

OP-TEE provides a DTB overlay which the bootscript in the FIT image applies
to the kernel DTB, prior to hand-off to Linux.

Some updates to warp7_bl33 and some minor updates to the shared
WaRP7/WaRP7_bl33 code are included.

Bryan O'Donoghue (7):
  warp7_bl33: configs: Enable FIT as the boot.scr format
  warp7: include: configs: Specify image name of bootscript in FIT
  warp7: include: configs: Differentiate bootscript address from
    loadaddr
  warp7_bl33: configs: Enable CONFIG_OF_LIBFDT
  warp7_bl33: configs: Enable CONFIG_OF_LIBFDT_OVERLAY
  warp7: include: configs: Specify an fdtovaddr
  warp7: Specify a default CONFIG_OPTEE_LOAD_ADDR if non provided

 configs/warp7_bl33_defconfig |  5 +++++
 include/configs/warp7.h      | 20 +++++++++++++++++---
 2 files changed, 22 insertions(+), 3 deletions(-)

-- 
2.21.0