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