[PATCH v7 06/12] binman: Support new op-tee binary format

[Jerome Forissier]

Hi Simon,

On 12/17/22 22:28, Simon Glass wrote:
> OP-TEE has a format with a binary header that can be used instead of the
> ELF file. With newer versions of OP-TEE this may be required on some
> platforms.
> 
> Add support for this in binman. First, add a method to obtain the ELF
> sections from an entry, then use that in the FIT support. We then end up
> with the ability to support both types of OP-TEE files, depending on which
> one is passed in with the entry argument (TEE=xxx in the U-Boot build).
> 
> Signed-off-by: Simon Glass <sjg at chromium.org>
> ---
> 
> Changes in v7:
> - Correct missing test coverage
> 
> Changes in v6:
> - Update op-tee to support new v1 binary header

Thanks for the update. I'm trying to test this. How am I supposed to
pass the BL31 and TEE binaries? Currently I build u-boot with:

  BL31=/path/to/bl31.elf TEE=/path/to/tee.bin make -C u-boot CROSS_COMPILE=aarch64-linux-gnu- CC=aarch64-linux-gnu-gcc HOSTCC=gcc

I applied the series onto the 'next' branch and built as usual but the board
failed to boot so I suspect I am missing something.

Thanks,
-- 
Jerome