arch/mips/loongson64/Kconfig v5.13-rc1

RS780_HPET

RS780/SBX00 HPET Timer

This option enables the hpet timer of AMD RS780/SBX00.

Note: This driver is doing some dangerous hack. Please only enable
it on RS780E systems.