# Copyright (c) 2021 Pavlo Hamov <pasha.gamov@gmail.com>
# SPDX-License-Identifier: Apache-2.0

config WDT_CC32XX
	bool "Watchdog Driver for cc32xx family of MCUs"
	default y
	depends on DT_HAS_TI_CC32XX_WATCHDOG_ENABLED
	select HAS_WDT_DISABLE_AT_BOOT
	help
	  Watchdog for cc32xx family of MCUs

config WDT_CC32XX_INITIAL_TIMEOUT
	int "Value for WDT timeout in ms"
	depends on WDT_CC32XX
	default 2000
	range 1 53687
	help
	  Max value depend on system frequency.
	  80 Mhz: 0xFFFFFFFF / (80e9 / 1000)