diff --git a/stm32mp1.mk b/stm32mp1.mk
index bbd3961..8a5e4b0 100644
--- a/stm32mp1.mk
+++ b/stm32mp1.mk
@@ -29,6 +29,8 @@
 $(error Unknown PLATFORM $(PLATFORM))
 endif
 
+STM32MP1_DTS_U_BOOT ?= $(STM32MP1_DTS_BASENAME)
+
 ################################################################################
 # Binary images names
 ################################################################################
@@ -122,7 +124,7 @@
 
 u-boot:
 	$(U_BOOT_EXPORTS) $(MAKE) -C $(U_BOOT_PATH) stm32mp15_defconfig
-	$(U_BOOT_EXPORTS) $(MAKE) -C $(U_BOOT_PATH) DEVICE_TREE=$(STM32MP1_DTS_BASENAME) all
+	$(U_BOOT_EXPORTS) $(MAKE) -C $(U_BOOT_PATH) DEVICE_TREE=$(STM32MP1_DTS_U_BOOT) all
 	@$(call install_in_binaries,$(U_BOOT_PATH)/$(U_BOOT_BIN))
 	@$(call install_in_binaries,$(U_BOOT_PATH)/$(U_BOOT_DTB))