| # 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 |