choice prompt "SoC/CPU/Configuration Selection" source "$(SOC_DIR)/$(ARCH)/*/Kconfig.soc" endchoice menu "Hardware Configuration" osource "$(SOC_DIR)/$(ARCH)/Kconfig" osource "$(SOC_DIR)/$(ARCH)/*/Kconfig" endmenu