drivers/counter/Kconfig.max32_rtc

# Copyright (c) 2024 Analog Devices, Inc.
# SPDX-License-Identifier: Apache-2.0

config COUNTER_RTC_MAX32
	bool "MAX32xxx counter rtc driver"
	default y
	depends on DT_HAS_ADI_MAX32_RTC_COUNTER_ENABLED
	help
	  Enable the counter rtc driver for MAX32 MCUs.