| # Copyright (c) 2026 Analog Devices, Inc. | |
| # SPDX-License-Identifier: Apache-2.0 | |
| config MAX32_RV32_SYS_TIMER | |
| bool "ADI MAX32 RV32 system timer driver" | |
| default y | |
| select TICKLESS_CAPABLE | |
| depends on DT_HAS_ADI_MAX32_RV32_SYS_TIMER_ENABLED | |
| help | |
| This module implements a kernel device driver for using a MAX32 timer | |
| peripheral as the system clock for the RV32 core. It provides the | |
| standard "system clock driver" interfaces. |