1# Copyright (c) 2024 sensry.io 2# SPDX-License-Identifier: Apache-2.0 3 4config SY1XX_SYS_TIMER 5 bool "Sensry ganymed system timer" 6 default y 7 depends on SOC_SERIES_SY1XX 8 depends on $(dt_nodelabel_enabled,systick) 9 help 10 This module implements a kernel device driver for the system timer 11 and provides the standard "system clock driver" interfaces. 12