From 089c4613ba818a81c19b8464b363fef9da0e9ffa Mon Sep 17 00:00:00 2001
From: Tomas Groth Christensen <tgc@foss.dk>
Date: Wed, 11 Jun 2025 09:36:39 +0200
Subject: [PATCH] driver: timer: enable 64 bit cycle counter for MCUX_OS_TIMER

Selects TIMER_HAS_64BIT_CYCLE_COUNTER as an dependency for MCUX_OS_TIMER
This already is supported in the timer implementation in
drivers/timer/mcux_os_timer.c

Signed-off-by: Tomas Groth Christensen <tgc@foss.dk>
---
 drivers/timer/Kconfig.mcux_os | 1 +
 1 file changed, 1 insertion(+)

diff --git a/drivers/timer/Kconfig.mcux_os b/drivers/timer/Kconfig.mcux_os
index 22aef2ccdde..ed2920bf300 100644
--- a/drivers/timer/Kconfig.mcux_os
+++ b/drivers/timer/Kconfig.mcux_os
@@ -8,6 +8,7 @@ config MCUX_OS_TIMER
 	default y
 	depends on DT_HAS_NXP_OS_TIMER_ENABLED
 	select TICKLESS_CAPABLE
+	select TIMER_HAS_64BIT_CYCLE_COUNTER
 	help
 	  This module implements a kernel device driver for the NXP OS
 	  event timer and provides the standard "system clock driver" interfaces.