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