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