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	select TIMER_HAS_64BIT_CYCLE_COUNTER
12	help
13	  This module implements a kernel device driver for the NXP OS
14	  event timer and provides the standard "system clock driver" interfaces.
15
16if MCUX_OS_TIMER
17
18config MCUX_OS_TIMER_PM_POWERED_OFF
19	bool "Reinitialize the OS Timer"
20	help
21	  OS Timer is turned off in certain low power modes. When this option is
22	  picked, OS Timer will take steps to store state and reinitialize on wakeups.
23
24endif # MCUX_OS_TIMER
25