tree d971aa207282535f428b3099fa1825566732d106
parent 490b9f949c894708f74b0c8d2e2924c4ffc30aae
author Volodymyr Babchuk <volodymyr_babchuk@epam.com> 1579713460 +0200
committer Jérôme Forissier <jerome@forissier.org> 1579788760 +0100

gen_tee_bin: generate tee-raw.bin

Some platforms (like Rcar Gen3) still does not support OP-TEE images
wrapped into any type of container. In the past we were able to
generate raw binary straight from the resulting elf file. But with
recent changes, OP-TEE expects some additional data past the __end, so
wee need to use gen_tee_bin.py to generate header-less OP-TEE binary.

This patch adds `--out_tee_raw_bin` option, which generates needed
file.

Signed-off-by: Volodymyr Babchuk <volodymyr_babchuk@epam.com>
Reviewed-by: Jens Wiklander <jens.wiklander@linaro.org>