Kconfig

 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.