1# SPDX-License-Identifier: GPL-2.0 2if LANTIQ 3 4config SOC_TYPE_XWAY 5 bool 6 select PINCTRL_XWAY 7 default n 8 9choice 10 prompt "SoC Type" 11 default SOC_XWAY 12 13config SOC_AMAZON_SE 14 bool "Amazon SE" 15 select SOC_TYPE_XWAY 16 select MFD_SYSCON 17 select MFD_CORE 18 19config SOC_XWAY 20 bool "XWAY" 21 select SOC_TYPE_XWAY 22 select HAVE_PCI 23 select MFD_SYSCON 24 select MFD_CORE 25 26config SOC_FALCON 27 bool "FALCON" 28 select PINCTRL_FALCON 29 30endchoice 31 32choice 33 prompt "Built-in device tree" 34 help 35 Legacy bootloaders do not pass a DTB pointer to the kernel, so 36 if a "wrapper" is not being used, the kernel will need to include 37 a device tree that matches the target board. 38 39 The builtin DTB will only be used if the firmware does not supply 40 a valid DTB. 41 42config LANTIQ_DT_NONE 43 bool "None" 44 45config DT_EASY50712 46 bool "Easy50712" 47 depends on SOC_XWAY 48 select BUILTIN_DTB 49endchoice 50 51config PCI_LANTIQ 52 bool "PCI Support" 53 depends on SOC_XWAY && PCI 54 55endif 56