8cf8db3a73
Consistently use
config FOO
bool/int/hex/string "Prompt text"
instead of
config FOO
bool/int/hex/string
prompt "Prompt text"
(...and a bunch of other variations that e.g. swapped the order of the
type and the 'prompt', or put other properties between them).
The shorthand is fully equivalent to using 'prompt'. It saves lines and
avoids tricking people into thinking there is some semantic difference.
Most of the grunt work was done by a modified version of
https://unix.stackexchange.com/questions/26284/
how-can-i-use-sed-to-replace-a-multi-line-string/26290#26290, but some
of the rarer variations had to be converted manually.
Signed-off-by: Ulf Magnusson <Ulf.Magnusson@nordicsemi.no>
67 lines
1.5 KiB
Text
67 lines
1.5 KiB
Text
# 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 "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 "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
|
|
|
|
config COUNTER_DTMR_CMSDK_APB
|
|
bool "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 "Counter 0 driver"
|
|
depends on !TIMER_DTMR_CMSDK_APB_0
|
|
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
|