arch/arm/mach-picoxcell/Kconfig

# SPDX-License-Identifier: GPL-2.0-only
config ARCH_PICOXCELL
	bool "Picochip PicoXcell"
	depends on ARCH_MULTI_V6
	select ARM_VIC
	select DW_APB_TIMER_OF
	select GPIOLIB
	select HAVE_TCM
	select NO_IOPORT_MAP