# SPDX-License-Identifier: GPL-2.0 if [31mCONFIG_LANTIQ[0m config [31mCONFIG_SOC_TYPE_XWAY[0m bool select [31mCONFIG_PINCTRL_XWAY[0m default n choice prompt "SoC Type" default [31mCONFIG_SOC_XWAY[0m config [31mCONFIG_SOC_AMAZON_SE[0m bool "Amazon SE" select [31mCONFIG_SOC_TYPE_XWAY[0m select [31mCONFIG_MFD_SYSCON[0m select [31mCONFIG_MFD_CORE[0m config [31mCONFIG_SOC_XWAY[0m bool "XWAY" select [31mCONFIG_SOC_TYPE_XWAY[0m select [31mCONFIG_HAVE_PCI[0m select [31mCONFIG_MFD_SYSCON[0m select [31mCONFIG_MFD_CORE[0m config [31mCONFIG_SOC_FALCON[0m bool "FALCON" select [31mCONFIG_PINCTRL_FALCON[0m endchoice choice prompt "Built-in device tree" help Legacy bootloaders do not pass a DTB pointer to the kernel, so if a "wrapper" is not being used, the kernel will need to include a device tree that matches the target board. The builtin DTB will only be used if the firmware does not supply a valid DTB. config [31mCONFIG_LANTIQ_DT_NONE[0m bool "None" config [31mCONFIG_DT_EASY50712[0m bool "Easy50712" depends on [31mCONFIG_SOC_XWAY[0m select [31mCONFIG_BUILTIN_DTB[0m endchoice config [31mCONFIG_PCI_LANTIQ[0m bool "PCI Support" depends on [31mCONFIG_SOC_XWAY[0m && [31mCONFIG_PCI[0m endif |