CONFIG_RISCV_MACHINE_TIMER:

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

Symbol:

RISCV_MACHINE_TIMER

Type:

bool

Value:

“n”

User value:

(no user value)

Visibility:

“n”

Is choice item:

false

Is defined:

true

Is from env.:

false

Is special:

false

Prompts:
  • “RISCV Machine Timer” if RISCV32 (value: “n”)
Default values:
  • n (value: “n”)
  • Condition: RISCV32 (value: “n”)
Selects:

(no selects)

Reverse (select-related) dependencies:
 

(no reverse dependencies)

Additional dependencies from enclosing menus and ifs:
 

(no additional dependencies)

Locations:
  • ../drivers/timer/Kconfig:171