diff --git a/drivers/timer/Kconfig b/drivers/timer/Kconfig index e4500b9004e..ef242a5e403 100644 --- a/drivers/timer/Kconfig +++ b/drivers/timer/Kconfig @@ -171,7 +171,7 @@ config PULPINO_TIMER config RISCV_MACHINE_TIMER bool "RISCV Machine Timer" default n - depends on RISCV32 + depends on SOC_FAMILY_RISCV_PRIVILEGE help This module implements a kernel device driver for the generic RISCV machine timer driver. It provides the standard "system clock driver" interfaces.