1# Copyright (c) 2014-2015 Wind River Systems, Inc.
2# Copyright (c) 2016 Cadence Design Systems, Inc.
3# Copyright (c) 2019 Intel Corp.
4# SPDX-License-Identifier: Apache-2.0
5
6config MCUX_OS_TIMER
7	bool "MCUX OS Event timer"
8	default y
9	depends on DT_HAS_NXP_OS_TIMER_ENABLED
10	select TICKLESS_CAPABLE
11	help
12	  This module implements a kernel device driver for the NXP OS
13	  event timer and provides the standard "system clock driver" interfaces.
14
15if MCUX_OS_TIMER
16
17config MCUX_OS_TIMER_PM_POWERED_OFF
18	bool "Reinitialize the OS Timer"
19	help
20	  OS Timer is turned off in certain low power modes. When this option is
21	  picked, OS Timer will take steps to store state and reinitialize on wakeups.
22
23endif # MCUX_OS_TIMER
24