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