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.
30