# Kconfig - counter and timer configuration options
#
#
# Copyright (c) 2016 Linaro Limited
#
# SPDX-License-Identifier: Apache-2.0
#

if SOC_FAMILY_ARM

config TIMER_DTMR_CMSDK_APB
	bool
	prompt "ARM CMSDK (Cortex-M System Design Kit) DTMR Timer driver"
	default n
	help
	  The dualtimer (DTMR) present in the platform is used as a timer.
	  This option enables the support for the timer.

if TIMER_DTMR_CMSDK_APB

# ---------- Timer 0 ----------

config TIMER_DTMR_CMSDK_APB_0
	bool
	prompt "Timer 0 driver"
	default n
	help
	  Enable support for Timer 0.

config TIMER_DTMR_CMSDK_APB_0_DEV_NAME
	string "Timer 0 Device Name"
	depends on TIMER_DTMR_CMSDK_APB_0
	default "TIMER_0"
	help
	  Specify the device name for Timer 0 driver.

config TIMER_DTMR_CMSDK_APB_0_IRQ_PRI
	int "Interrupt Priority for Timer 0"
	depends on TIMER_DTMR_CMSDK_APB_0
	default 3
	help
	  Interrupt priority for Timer 0.

endif # TIMER_DTMR_CMSDK_APB

config COUNTER_DTMR_CMSDK_APB
	bool
	prompt "ARM CMSDK (Cortex-M System Design Kit) DTMR Counter driver"
	default n
	help
	  The dualtimer (DTMR) present in the platform is used as a counter.
	  This option enables the support for the counter.

if COUNTER_DTMR_CMSDK_APB

# ---------- Counter 0 ----------

config COUNTER_DTMR_CMSDK_APB_0
	bool
	prompt "Counter 0 driver"
	depends on !TIMER_DTMR_CMSDK_APB_0
	default n
	help
	  Enable support for Counter 0.

config COUNTER_DTMR_CMSDK_APB_0_DEV_NAME
	string "Counter 0 Device Name"
	depends on COUNTER_DTMR_CMSDK_APB_0
	default "COUNTER_0"
	help
	  Specify the device name for Counter 0 driver.

endif # COUNTER_DTMR_CMSDK_APB

endif # SOC_FAMILY_ARM