1# SPDX-License-Identifier: GPL-2.0-only 2menuconfig ARCH_RDA 3 bool "RDA Micro SoCs" 4 depends on ARCH_MULTI_V7 5 select RDA_INTC 6 select RDA_TIMER 7 help 8 This enables support for the RDA Micro 8810PL SoC family. 9