diff options
Diffstat (limited to 'dts/Kconfig')
| -rw-r--r-- | dts/Kconfig | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/dts/Kconfig b/dts/Kconfig index 20be556777..83ba7a6e98 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 overrided from the command line: + $ make DEVICE_TREE=<device-tree-name> + endmenu |