| # 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) |