d18531b529
Some platforms such Texas Instrument’s K3 familly of SoCs requires TEE in raw binary format to support their boot flow [1]. Add a new option to select tee-raw.bin instead of tee.bin. [1] https://docs.u-boot.org/en/latest/board/ti/k3.html#building-tispl-bin Signed-off-by: Romain Naour <romain.naour@smile.fr> Signed-off-by: Julien Olivain <ju.o@free.fr>