drivers/counter/Kconfig.max32_wut

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

config COUNTER_WUT_MAX32
	bool "MAX32xxx wake-up timer driver"
	default y
	depends on DT_HAS_ADI_MAX32_WUT_ENABLED
	help
	  Enable the wake-up timer driver for MAX32 MCUs.