# SPDX-License-Identifier: GPL-2.0-only
menuconfig [31mCONFIG_ARCH_RDA[0m
bool "RDA Micro SoCs"
depends on [31mCONFIG_ARCH_MULTI_V7[0m
select [31mCONFIG_RDA_INTC[0m
select [31mCONFIG_RDA_TIMER[0m
help
This enables support for the RDA Micro 8810PL SoC family.