1# SPDX-License-Identifier: GPL-2.0-or-later
2menuconfig ARCH_REALTEK
3	bool "Realtek SoCs"
4	depends on ARCH_MULTI_V7
5	select ARM_GIC
6	select ARM_GLOBAL_TIMER
7	select CLKSRC_ARM_GLOBAL_TIMER_SCHED_CLOCK
8	select GENERIC_IRQ_CHIP
9	select RESET_CONTROLLER
10	help
11	  This enables support for the Realtek RTD1195 SoC family.
12