arch/arm/mach-picoxcell/Kconfig - linux - Git at Google

 # 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
	# 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