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