tools/arm: optee: create optee firmware node in DT if tee=optee
authorVolodymyr Babchuk <Volodymyr_Babchuk@epam.com>
Wed, 19 Jun 2019 17:54:19 +0000 (17:54 +0000)
committerJulien Grall <julien.grall@arm.com>
Wed, 18 Sep 2019 13:45:27 +0000 (14:45 +0100)
commitee7170822f1fc209f33feb47b268bab35541351d
tree02a69bb7dbb4ce1eb4239a08fb13beb962fefc2d
parent2e32cd99290343074f4a7f39395be01376cf8953
tools/arm: optee: create optee firmware node in DT if tee=optee

If TEE support is enabled with "tee=optee" option in xl.cfg,
then we need to inform guest about available TEE, by creating
corresponding node in the guest's device tree.

Signed-off-by: Volodymyr Babchuk <volodymyr_babchuk@epam.com>
Reviewed-by: Julien Grall <julien.grall@arm.com>
Acked-by: Ian Jackson <ian.jackson@eu.citrix.com>
tools/libxl/libxl_arm.c