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

CONFIG_XLNX_PSTTC_TIMER_INDEX

Xilinx PS ttc timer index

Type: int

Help

This is the index of TTC timer picked to provide system clock.

Direct dependencies

XLNX_PSTTC_TIMER

(Includes any dependencies from ifs and menus.)

Default

• 0

Kconfig definition

At drivers/timer/Kconfig:319

Included via Kconfig:8 → Kconfig.zephyr:42 → drivers/Kconfig:30

Menu path: (Top) → Device Drivers → Timer Drivers → Xilinx PS ttc timer support

config XLNX_PSTTC_TIMER_INDEX
    int "Xilinx PS ttc timer index"
    range 0 3
    default 0
    depends on XLNX_PSTTC_TIMER
    help
      This is the index of TTC timer picked to provide system clock.

(The ‘depends on’ condition includes propagated dependencies from ifs and menus.)