| # Copyright 2022 NXP | |
| # SPDX-License-Identifier: Apache-2.0 | |
| config COUNTER_NXP_S32_SYS_TIMER | |
| bool "NXP S32 System Timer Module driver" | |
| default y | |
| depends on DT_HAS_NXP_S32_SYS_TIMER_ENABLED | |
| help | |
| Enable support for NXP S32 System Timer Module (STM) driver. |