| # 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 MCUX_OS_TIMER |
| bool "MCUX OS Event timer" |
| default y |
| depends on DT_HAS_NXP_OS_TIMER_ENABLED |
| select TICKLESS_CAPABLE |
| help |
| This module implements a kernel device driver for the NXP OS |
| event timer and provides the standard "system clock driver" interfaces. |
| |
| if MCUX_OS_TIMER |
| |
| config MCUX_OS_TIMER_PM_POWERED_OFF |
| bool "Reinitialize the OS Timer" |
| help |
| OS Timer is turned off in certain low power modes. When this option is |
| picked, OS Timer will take steps to store state and reinitialize on wakeups. |
| |
| endif # MCUX_OS_TIMER |
