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