1# SPDX-License-Identifier: Apache-2.0
2#
3# Copyright (c) 2024 Realtek Semiconductor Corporation, SIBG-SD7
4#
5
6config REALTEK_RTS5912_RTMR
7	bool "Realtek RTS5912 RTOS Timer"
8	depends on SOC_SERIES_RTS5912
9	default y if DT_HAS_REALTEK_RTS5912_RTMR_ENABLED
10	select TICKLESS_CAPABLE
11	select SYSTEM_TIMER_HAS_DISABLE_SUPPORT
12	help
13	  This module implements a kernel device driver for the Realtek
14	  RTS5912 series RTOS timer.
15