# 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