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

DT_COMPAT_RPI_PICO_PINCTRL := raspberrypi,pico-pinctrl

config PINCTRL_RPI_PICO
	bool "RaspberryPi Pico pin controller driver"
	depends on SOC_FAMILY_RPI_PICO
	default $(dt_compat_enabled,$(DT_COMPAT_RPI_PICO_PINCTRL))
	select PICOSDK_USE_GPIO
	help
	  RaspberryPi Pico pinctrl driver