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

DT_COMPAT_TI_CC32XX_WDG := ti,cc32xx-watchdog

config WDT_CC32XX
	bool "Watchdog Driver for cc32xx family of MCUs"
	default $(dt_compat_enabled,$(DT_COMPAT_TI_CC32XX_WDG))
	depends on SOC_SERIES_CC32XX
	depends on SOC_FAMILY_TISIMPLELINK
	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)