Help¶

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

Direct dependencies¶

SOC_RISCV32_PULPINO

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

Defaults¶

“y” if SOC_RISCV32_PULPINO

Kconfig definition¶

At drivers/timer/Kconfig:158

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

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

config PULPINO_TIMER
    bool
    prompt "pulpino Timer" if SOC_RISCV32_PULPINO
    default "y" if SOC_RISCV32_PULPINO
    depends on SOC_RISCV32_PULPINO
    help
      This module implements a kernel device driver for the pulpino processor
      timer driver. It provides the standard "system clock driver" interfaces.

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