1# Copyright (c) 2022 Andrei-Edward Popa
2# SPDX-License-Identifier: Apache-2.0
3
4config RESET_RPI_PICO
5	bool "Raspberry Pi Reset Controller driver"
6	default y
7	depends on DT_HAS_RASPBERRYPI_PICO_RESET_ENABLED
8