Add armada-8040-nbx-u-boot.dtsi with the firmware/optee node guarded by CONFIG_OPTEE. This allows U-Boot to probe the OP-TEE driver only when OP-TEE support is enabled in the configuration.
Signed-off-by: Vincent Jardin <[email protected]> --- arch/arm/dts/armada-8040-nbx-u-boot.dtsi | 15 +++++++++++++++ 1 file changed, 15 insertions(+) create mode 100644 arch/arm/dts/armada-8040-nbx-u-boot.dtsi diff --git a/arch/arm/dts/armada-8040-nbx-u-boot.dtsi b/arch/arm/dts/armada-8040-nbx-u-boot.dtsi new file mode 100644 index 00000000000..dec473b7156 --- /dev/null +++ b/arch/arm/dts/armada-8040-nbx-u-boot.dtsi @@ -0,0 +1,15 @@ +// SPDX-License-Identifier: GPL-2.0+ +/* + * Copyright (C) 2026 Free Mobile, Vincent Jardin + */ + +#ifdef CONFIG_OPTEE +/ { + firmware { + optee { + compatible = "linaro,optee-tz"; + method = "smc"; + }; + }; +}; +#endif -- 2.43.0

