drivers: timer: cc23x0: Add option to select between RTC and SYSTIM

Add choice menu where could be selected between RTC or SYSTIM for
system timer.

Signed-off-by: Stoyan Bogdanov <sbogdanov@baylibre.com>

Author: bogdanovs

drivers/timer/Kconfig

@@ -69,7 +69,7 @@ source "drivers/timer/Kconfig.arcv2"
 source "drivers/timer/Kconfig.arm_arch"
 source "drivers/timer/Kconfig.cavs"
 source "drivers/timer/Kconfig.cc13xx_cc26xx_rtc"
-source "drivers/timer/Kconfig.cc23x0_systim"
+source "drivers/timer/Kconfig.cc23x0"
 source "drivers/timer/Kconfig.wch_ch32v00x"
 source "drivers/timer/Kconfig.cortex_m_systick"
 source "drivers/timer/Kconfig.esp32"

drivers/timer/Kconfig.cc23x0

@@ -0,0 +1,26 @@
+# Copyright (c) 2024 Texas Instruments Incorporated
+# Copyright (c) 2024 BayLibre, SAS
+#
+# SPDX-License-Identifier: Apache-2.0
+
+choice
+	prompt "TI SimpleLink CC23X default System Timer"
+	depends on HAS_CC23X0_SDK
+	default CC23X0_RTC_TIMER
+	help
+	  Select Default System Timer.
+
+config CC23X0_SYSTIM_TIMER
+	bool "SYSTIM timer"
+	select TICKLESS_CAPABLE
+	help
+	  This module provides SYSTIM as "system clock driver" interfaces
+	  for the TI Simplelink CC23X0 devices.
+
+config CC23X0_RTC_TIMER
+	bool "RTC timer"
+	select TICKLESS_CAPABLE
+	help
+	  This module provides RTC as "system clock driver" interfaces
+	  for the TI Simplelink CC23X0 devices.
+endchoice