[U-Boot] [U-Boot, v5, 1/2] spl: add support to booting with OP-TEE

[Philipp Tomsich]

> OP-TEE is an open source trusted OS, in armv7, its loading and
> running are like this:
> loading:
> - SPL load both OP-TEE and U-Boot
> running:
> - SPL run into OP-TEE in secure mode;
> - OP-TEE run into U-Boot in non-secure mode;
> 
> To make code simple, it would be fine to use IH_OS_TEE for the
> os tyle in TPL(just like IH_OS_LINUX is using both in SPL and U-Boot).
> 
> Here is the diagram for SPL loading OP-TEE,
> IH_OS_TEE:(make u-boot.itb for SPL)
>     Non-Secure       Secure
> 
>                      BootROM
>                        |
>                        v
>                       SPL
>                        |
>                        v
>           ---------  OP-TEE
>          |
>          v
>        U-Boot
>          |
>          V
>        Linux
> For other two king of OP-TEE loading/booting, see commit message:
> 45b55712d4 image: Add IH_OS_TEE for TEE chain-load boot
> 
> More detail:
> https://github.com/OP-TEE/optee_os
> and search for 'boot arguments' for detail entry parameter in:
> core/arch/arm/kernel/generic_entry_a32.S
> 
> Signed-off-by: Kever Yang <kever.yang at rock-chips.com>
> Cc: Bryan O'Donoghue <bryan.odonoghue at linaro.org>
> Reviewed-by: Philipp Tomsich <philipp.tomsich at theobroma-systems.com>
> ---
> 
> Changes in v5:
> - Split the patch out from rk3229 seris
> - Use IH_OS_TEE instead of IH_OS_OP-TEE
> 
> Changes in v4:
> - use NULL instead of '0'
> - add fdt_addr as arg2 of entry
> 
> Changes in v2:
> - Using new image type for op-tee
> 
>  common/spl/Kconfig     |  7 +++++++
>  common/spl/Makefile    |  1 +
>  common/spl/spl.c       |  7 +++++++
>  common/spl/spl_optee.S | 12 ++++++++++++
>  include/spl.h          | 13 +++++++++++++
>  5 files changed, 40 insertions(+)
>  create mode 100644 common/spl/spl_optee.S
> 

Applied to u-boot-rockchip, thanks!