drivers/reset/Kconfig.rpi_pico

# Copyright (c) 2022 Andrei-Edward Popa
# SPDX-License-Identifier: Apache-2.0

config RESET_RPI_PICO
	bool "Raspberry Pi Reset Controller driver"
	default y
	depends on DT_HAS_RASPBERRYPI_PICO_RESET_ENABLED