Kconfig

 1# SPDX-License-Identifier: GPL-2.0
 2if MACH_LOONGSON64
 3
 4config RS780_HPET
 5	bool "RS780/SBX00 HPET Timer"
 6	depends on MACH_LOONGSON64
 7	depends on BROKEN
 8	select MIPS_EXTERNAL_TIMER
 9	help
10	  This option enables the hpet timer of AMD RS780/SBX00.
11
12	  Note: This driver is doing some dangerous hack. Please only enable
13	  it on RS780E systems.
14
15endif # MACH_LOONGSON64