| # Copyright (c) 2014-2015 Wind River Systems, Inc. |
| # Copyright (c) 2016 Cadence Design Systems, Inc. |
| # Copyright (c) 2019 Intel Corp. |
| # SPDX-License-Identifier: Apache-2.0 |
| |
| config XLNX_PSTTC_TIMER |
| bool "Xilinx PS ttc timer support" |
| default y |
| depends on DT_HAS_XLNX_TTCPS_ENABLED |
| select TICKLESS_CAPABLE |
| help |
| This module implements a kernel device driver for the Xilinx ZynqMP |
| platform provides the standard "system clock driver" interfaces. |
| If unchecked, no timer will be used. |
| |
| 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. |
