# SPDX-License-Identifier: GPL-2.0-only config [31mCONFIG_ARCH_PICOXCELL[0m bool "Picochip PicoXcell" depends on [31mCONFIG_ARCH_MULTI_V6[0m select [31mCONFIG_ARM_VIC[0m select [31mCONFIG_DW_APB_TIMER_OF[0m select [31mCONFIG_GPIOLIB[0m select [31mCONFIG_HAVE_TCM[0m select [31mCONFIG_NO_IOPORT_MAP[0m |