Allow targets to select target-specific Kconfig values.

Signed-off-by: Philippe Mathieu-Daudé <philmd@redhat.com>
---
 Makefile       | 6 ++++--
 target/Kconfig | 1 +
 2 files changed, 5 insertions(+), 2 deletions(-)
 create mode 100644 target/Kconfig

diff --git a/Makefile b/Makefile
index 1cf9d76ce7..e402c33811 100644
--- a/Makefile
+++ b/Makefile
@@ -421,9 +421,11 @@ MINIKCONF_ARGS = \
 
 MINIKCONF_INPUTS = $(SRC_PATH)/Kconfig.host \
                    $(SRC_PATH)/accel/Kconfig \
-                   $(SRC_PATH)/hw/Kconfig
+                   $(SRC_PATH)/hw/Kconfig \
+                   $(SRC_PATH)/target/Kconfig
 MINIKCONF_DEPS = $(MINIKCONF_INPUTS) \
-                 $(wildcard $(SRC_PATH)/hw/*/Kconfig)
+                 $(wildcard $(SRC_PATH)/hw/*/Kconfig) \
+                 $(wildcard $(SRC_PATH)/target/*/Kconfig)
 MINIKCONF = $(PYTHON) $(SRC_PATH)/scripts/minikconf.py \
 
 $(SUBDIR_DEVICES_MAK): %/config-devices.mak: default-configs/%.mak $(MINIKCONF_DEPS) $(BUILD_DIR)/config-host.mak
diff --git a/target/Kconfig b/target/Kconfig
new file mode 100644
index 0000000000..8b13789179
--- /dev/null
+++ b/target/Kconfig
@@ -0,0 +1 @@
+
-- 
2.21.1

On 3/16/20 5:00 AM, Philippe Mathieu-Daudé wrote:
> diff --git a/target/Kconfig b/target/Kconfig
> new file mode 100644
> index 0000000000..8b13789179
> --- /dev/null
> +++ b/target/Kconfig
> @@ -0,0 +1 @@
> +

Does this want a

# This file intentionally left blank.

?

Otherwise,
Reviewed-by: Richard Henderson <richard.henderson@linaro.org>

r~