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