drivers/misc/pio_rpi_pico/Kconfig

# Copyright (c) 2023 TOKITA Hiroshi <tokita.hiroshi@fujitsu.com>
# SPDX-License-Identifier: Apache-2.0

config PIO_RPI_PICO
	bool "RaspberryPi Pico PIO"
	default y
	depends on DT_HAS_RASPBERRYPI_PICO_PIO_ENABLED
	depends on RESET
	select PICOSDK_USE_PIO