1# Copyright (c) 2021 Pavlo Hamov <pasha.gamov@gmail.com>
2# SPDX-License-Identifier: Apache-2.0
3
4config WDT_CC32XX
5	bool "Watchdog Driver for cc32xx family of MCUs"
6	default y
7	depends on DT_HAS_TI_CC32XX_WATCHDOG_ENABLED
8	select HAS_WDT_DISABLE_AT_BOOT
9	help
10	  Watchdog for cc32xx family of MCUs
11
12config WDT_CC32XX_INITIAL_TIMEOUT
13	int "Value for WDT timeout in ms"
14	depends on WDT_CC32XX
15	default 2000
16	range 1 53687
17	help
18	  Max value depend on system frequency.
19	  80 Mhz: 0xFFFFFFFF / (80e9 / 1000)
20