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	help
9	  Watchdog for cc32xx family of MCUs
10
11config WDT_CC32XX_INITIAL_TIMEOUT
12	int "Value for WDT timeout in ms"
13	depends on WDT_CC32XX
14	default 2000
15	range 1 53687
16	help
17	  Max value depend on system frequency.
18	  80 Mhz: 0xFFFFFFFF / (80e9 / 1000)
19