| # Copyright (c) 2014-2015 Wind River Systems, Inc. |
| # Copyright (c) 2016 Cadence Design Systems, Inc. |
| # Copyright (c) 2019 Intel Corp. |
| # SPDX-License-Identifier: Apache-2.0 |
| |
| config MCHP_XEC_RTOS_TIMER |
| bool "Microchip XEC series RTOS timer" |
| default y |
| depends on DT_HAS_MICROCHIP_XEC_RTOS_TIMER_ENABLED |
| select TICKLESS_CAPABLE |
| select SYSTEM_TIMER_HAS_DISABLE_SUPPORT |
| help |
| This module implements a kernel device driver for the Microchip |
| XEC series RTOS timer and provides the standard "system clock |
| driver" interfaces. |
