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 <Driver>/timer/Kconfig.xlnx_psttc:16

Included via Kconfig:8 → Kconfig.zephyr:42 → <Driver>/Kconfig:30 → <Driver>/timer/Kconfig:82

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.)