1 # SPDX-License-Identifier: GPL-2.0 2 if LANTIQ 3 4 config SOC_TYPE_XWAY 5 bool 6 select PINCTRL_XWAY 7 default n 8 9 choice 10 prompt "SoC Type" 11 default SOC_XWAY 12 13 config SOC_AMAZON_SE 14 bool "Amazon SE" 15 select SOC_TYPE_XWAY 16 select MFD_SYSCON 17 select MFD_CORE 18 19 config SOC_XWAY 20 bool "XWAY" 21 select SOC_TYPE_XWAY 22 select HAVE_PCI 23 select MFD_SYSCON 24 select MFD_CORE 25 26 config SOC_FALCON 27 bool "FALCON" 28 select PINCTRL_FALCON 29 30 endchoice 31 32 choice 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 42 config LANTIQ_DT_NONE 43 bool "None" 44 45 config DT_EASY50712 46 bool "Easy50712" 47 depends on SOC_XWAY 48 select BUILTIN_DTB 49 endchoice 50 51 config PCI_LANTIQ 52 bool "PCI Support" 53 depends on SOC_XWAY && PCI 54 55 endif
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.