# Kconfig - counter configuration options

#
# Copyright (c) 2016 Intel Corporation
#
# SPDX-License-Identifier: Apache-2.0
#

menuconfig COUNTER
	bool "Counter Drivers"
	help
	  Enable support for counter and timer.

if COUNTER

source "drivers/counter/Kconfig.qmsi"

source "drivers/counter/Kconfig.tmr_cmsdk_apb"

source "drivers/counter/Kconfig.dtmr_cmsdk_apb"

endif # COUNTER
