drivers/gpio/Kconfig.rpi_pico

# Copyright (c) 2021 Yonatan Schachter
# SPDX-License-Identifier: Apache-2.0

config GPIO_RPI_PICO
	default y
	depends on DT_HAS_RASPBERRYPI_PICO_GPIO_PORT_ENABLED
	select PICOSDK_USE_GPIO
	select PINCTRL
	bool "Raspberry Pi Pico GPIO driver"