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