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	select HAS_WDT_NO_CALLBACKS
10
11config WDT_RPI_PICO_INITIAL_TIMEOUT
12	int "Default watchdog timeout in us"
13	depends on WDT_RPI_PICO
14	default 8388607
15	range 1 8388607
16	help
17	  Sets the default watchdog timeout at start-up, the feed function must
18	  be called every interval prior to this time elapsing to prevent a
19	  reboot of the module. The default is just over 8 seconds, which is the
20	  largest timeout possible.
21