1# Xilinx AXI Timer
2
3# Copyright (c) 2020 Henrik Brix Andersen <henrik@brixandersen.dk>
4# SPDX-License-Identifier: Apache-2.0
5
6config COUNTER_XLNX_AXI_TIMER
7	bool "Xilinx AXI Timer driver"
8	default y
9	depends on DT_HAS_XLNX_XPS_TIMER_1_00_A_ENABLED
10	help
11	  Enable counter support for the Xilinx AXI Timer v2.0 IP.
12