2016-12-13 23:40:53 +08:00
|
|
|
# Kconfig - counter and timer configuration options
|
2016-12-13 19:53:08 +08:00
|
|
|
#
|
|
|
|
|
#
|
|
|
|
|
# Copyright (c) 2016 Linaro Limited
|
|
|
|
|
#
|
|
|
|
|
# SPDX-License-Identifier: Apache-2.0
|
|
|
|
|
#
|
|
|
|
|
|
|
|
|
|
if SOC_FAMILY_ARM
|
|
|
|
|
|
2016-12-13 23:40:53 +08:00
|
|
|
config TIMER_DTMR_CMSDK_APB
|
|
|
|
|
bool
|
|
|
|
|
prompt "ARM CMSDK (Cortex-M System Design Kit) DTMR Timer driver"
|
|
|
|
|
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"
|
|
|
|
|
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
|
|
|
|
|
|
2016-12-13 19:53:08 +08:00
|
|
|
config COUNTER_DTMR_CMSDK_APB
|
|
|
|
|
bool
|
|
|
|
|
prompt "ARM CMSDK (Cortex-M System Design Kit) DTMR Counter driver"
|
|
|
|
|
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"
|
2016-12-13 23:40:53 +08:00
|
|
|
depends on !TIMER_DTMR_CMSDK_APB_0
|
2016-12-13 19:53:08 +08:00
|
|
|
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
|
