CONFIG_PULPINO_TIMER

This module implements a kernel device driver for the pulpino processor timer driver. It provides the standard “system clock driver” interfaces.

Symbol:

PULPINO_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:

• “pulpino Timer” if SOC_RISCV32_PULPINO (value: “n”)

Default values:

• y (value: “y”)
• Condition: SOC_RISCV32_PULPINO (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:163