| # SPDX-License-Identifier: GPL-2.0 | 
 | if LANTIQ | 
 |  | 
 | config SOC_TYPE_XWAY | 
 | 	bool | 
 | 	select PINCTRL_XWAY | 
 | 	default n | 
 |  | 
 | choice | 
 | 	prompt "SoC Type" | 
 | 	default SOC_XWAY | 
 |  | 
 | config SOC_AMAZON_SE | 
 | 	bool "Amazon SE" | 
 | 	select SOC_TYPE_XWAY | 
 | 	select MFD_SYSCON | 
 | 	select MFD_CORE | 
 |  | 
 | config SOC_XWAY | 
 | 	bool "XWAY" | 
 | 	select SOC_TYPE_XWAY | 
 | 	select HAVE_PCI | 
 | 	select MFD_SYSCON | 
 | 	select MFD_CORE | 
 |  | 
 | config SOC_FALCON | 
 | 	bool "FALCON" | 
 | 	select PINCTRL_FALCON | 
 |  | 
 | 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 LANTIQ_DT_NONE | 
 | 	bool "None" | 
 |  | 
 | config DT_EASY50712 | 
 | 	bool "Easy50712" | 
 | 	depends on SOC_XWAY | 
 | 	select BUILTIN_DTB | 
 | endchoice | 
 |  | 
 | config PCI_LANTIQ | 
 | 	bool "PCI Support" | 
 | 	depends on SOC_XWAY && PCI | 
 |  | 
 | endif |