1# SPDX-License-Identifier: GPL-2.0
2config ARCH_VT8500
3	bool
4	select GPIOLIB
5	select CLKDEV_LOOKUP
6	select VT8500_TIMER
7	select PINCTRL
8	help
9	  Support for VIA/WonderMedia VT8500/WM85xx System-on-Chip.
10
11config ARCH_WM8505
12	bool "VIA/Wondermedia 85xx and WM8650"
13 	depends on ARCH_MULTI_V5
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