| # Xilinx AXI Timer | |
| # Copyright (c) 2020 Henrik Brix Andersen <henrik@brixandersen.dk> | |
| # SPDX-License-Identifier: Apache-2.0 | |
| config COUNTER_XLNX_AXI_TIMER | |
| bool "Xilinx AXI Timer driver" | |
| default y | |
| depends on DT_HAS_XLNX_XPS_TIMER_1_00_A_ENABLED | |
| help | |
| Enable counter support for the Xilinx AXI Timer v2.0 IP. |