The latest development version of this page may be more current than this released 1.14.1 version.

CONFIG_RISCV_MACHINE_TIMER¶

RISCV Machine Timer

Type: bool

Help¶

This module implements a kernel device driver for the generic RISCV machine timer driver. It provides the standard “system clock driver” interfaces.

Direct dependencies¶

SOC_FAMILY_RISCV_PRIVILEGE

(Includes any dependencies from if’s and menus.)

Defaults¶

No defaults. Implicitly defaults to n.

Symbols selected by this symbol¶

TICKLESS_CAPABLE if SOC_FAMILY_RISCV_PRIVILEGE

Kconfig definition¶

At drivers/timer/Kconfig:122

Included via Kconfig:10 → Kconfig.zephyr:35 → drivers/Kconfig:26

Menu path: (top menu) → Device Drivers → Timer Drivers

config RISCV_MACHINE_TIMER
    bool
    prompt "RISCV Machine Timer" if SOC_FAMILY_RISCV_PRIVILEGE
    select TICKLESS_CAPABLE if SOC_FAMILY_RISCV_PRIVILEGE
    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.

(Definitions include propagated dependencies, including from if’s and menus.)