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

Included via Kconfig:8Kconfig.zephyr:40drivers/Kconfig:24

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