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 	select ARCH_VT8500
14 	select CPU_ARM926T
15
16config ARCH_WM8750
17	bool "WonderMedia WM8750"
18	depends on ARCH_MULTI_V6
19	select ARCH_VT8500
20	help
21	  Support for WonderMedia WM8750 System-on-Chip.
22
23config ARCH_WM8850
24	bool "WonderMedia WM8850"
25	depends on ARCH_MULTI_V7
26	select ARCH_VT8500
27	help
28	  Support for WonderMedia WM8850 System-on-Chip.
29