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