Kconfig

 1# SPDX-License-Identifier: GPL-2.0
 2config ARCH_VT8500
 3	bool
 4	select GPIOLIB
 5	select VT8500_TIMER
 6	select PINCTRL
 7	help
 8	  Support for VIA/WonderMedia VT8500/WM85xx System-on-Chip.
 9
10config ARCH_WM8505
11	bool "VIA/Wondermedia 85xx and WM8650"
12 	depends on ARCH_MULTI_V5
13	depends on CPU_LITTLE_ENDIAN
14 	select ARCH_VT8500
15 	select CPU_ARM926T
16
17config ARCH_WM8750
18	bool "WonderMedia WM8750"
19	depends on ARCH_MULTI_V6
20	select ARCH_VT8500
21	help
22	  Support for WonderMedia WM8750 System-on-Chip.
23
24config ARCH_WM8850
25	bool "WonderMedia WM8850"
26	depends on ARCH_MULTI_V7
27	select ARCH_VT8500
28	help
29	  Support for WonderMedia WM8850 System-on-Chip.