Binman how to build using Rockchip BL32 binary as OP-TEE

[Massimo Pegorer]

Hi,

Is there any way for binman to package FIT with U-Boot TF-A and
OP-TEE, using bl32 binary provided by Rockchip as TEE?

I've tried with TEE=/path/to/rkbin/bin/rk33/xxx_bl32_vX.YZ.bin, but
binman failed.

In my poor understanding of Python code, it seems binman accepts only
ELF format or a binary format starting with optee_v1_header, but
binaries provided by Rockchip in rkbin repository do not have this
header.

Thanks in advance for any hints!

Massimo