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