mirror of
https://source.denx.de/u-boot/u-boot.git
synced 2026-06-13 15:03:58 +03:00
tee-os node is guarded by CONFIG_OPTEE. Since OPTEE adds driver support for OP-TEE, the binary should then be packaged in the bootable image. Remove the optional property to enforce this requirement. Signed-off-by: Yannic Moog <y.moog@phytec.de>