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	select RESET
13	help
14	  This module implements a kernel device driver for the NXP OS
15	  event timer and provides the standard "system clock driver" interfaces.
16
17if MCUX_OS_TIMER
18
19config MCUX_OS_TIMER_PM_POWERED_OFF
20	bool "Reinitialize the OS Timer"
21	help
22	  OS Timer is turned off in certain low power modes. When this option is
23	  picked, OS Timer will take steps to store state and reinitialize on wakeups.
24
25config MCUX_OS_TIMER_MIN_DELAY
26	int "Minimum delay cycles for OS timer match value"
27	default 1000
28	help
29	  Timer hardware requires a minimum setup time to reliably trigger
30	  interrupts. If a match value is set too close to the current timer
31	  count, the hardware may not have enough time to process it.
32	  Lower values can improve timing precision but may be less reliable.
33	  Higher values provide more safety margin but slightly reduce timing accuracy.
34
35endif # MCUX_OS_TIMER
36