mirror of
https://github.com/apache/nuttx.git
synced 2026-06-07 17:33:08 +08:00
004853d6d1
if CONFIG_WATCHDOG_AUTOMONITOR_PING_INTERVAL equals 0, we should set WATCHDOG_AUTOMONITOR_PING_INTERVAL to CONFIG_WATCHDOG_AUTOMONITOR_TIMEOUT / 2, not 0 Signed-off-by: Xiang Xiao <xiaoxiang@xiaomi.com>