# 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" | |
depends on SOC_FAMILY_MEC | |
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. |