X-Git-Url: https://git.kernelconcepts.de/?a=blobdiff_plain;f=dts%2FKconfig;h=5fe63f8025879a7fca596cd403a409f601ca97e8;hb=39e4795a797663d08cd2216975430b2819e3173c;hp=20be5567774898bc652d427c698210f968fc0d92;hpb=783e6a72b8278d59854ced41a4696c9a14abbb0b;p=karo-tx-uboot.git

diff --git a/dts/Kconfig b/dts/Kconfig
index 20be556777..5fe63f8025 100644
--- a/dts/Kconfig
+++ b/dts/Kconfig
@@ -45,4 +45,11 @@ config OF_HOSTFILE
 
 endchoice
 
+config DEFAULT_DEVICE_TREE
+	string "Default Device Tree for DT control"
+	help
+	  This option specifies the default Device Tree used for DT control.
+	  It can be overridden from the command line:
+	  $ make DEVICE_TREE=<device-tree-name>
+
 endmenu