# Copyright (c) 2024 sensry.io
# SPDX-License-Identifier: Apache-2.0

config SY1XX_SYS_TIMER
	bool "Sensry ganymed system timer"
	default y
	depends on SOC_SERIES_SY1XX
	depends on $(dt_nodelabel_enabled,systick)
	help
	  This module implements a kernel device driver for the system timer
	  and provides the standard "system clock driver" interfaces.