1# Copyright (c) 2022, Jamie McCrae
2# SPDX-License-Identifier: Apache-2.0
3
4config WDT_RPI_PICO
5	bool "Raspberry Pi Pico Watchdog driver"
6	default y
7	depends on DT_HAS_RASPBERRYPI_PICO_WATCHDOG_ENABLED
8	select HAS_WDT_DISABLE_AT_BOOT
9
10config WDT_RPI_PICO_INITIAL_TIMEOUT
11	int "Default watchdog timeout in us"
12	depends on WDT_RPI_PICO
13	default 8388607
14	range 1 8388607
15	help
16	  Sets the default watchdog timeout at start-up, the feed function must
17	  be called every interval prior to this time elapsing to prevent a
18	  reboot of the module. The default is just over 8 seconds, which is the
19	  largest timeout possible.
20