1# Copyright 2022-2023 NXP
2# SPDX-License-Identifier: Apache-2.0
3
4config COUNTER_NXP_S32_SYS_TIMER
5	bool "NXP S32 System Timer Module driver"
6	default y
7	depends on DT_HAS_NXP_S32_SYS_TIMER_ENABLED
8	select CLOCK_CONTROL
9	help
10	  Enable support for NXP S32 System Timer Module (STM) driver.
11