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

config HAS_RPI_PICO
	bool

config PICOSDK_USE_UART
	bool
	help
	  Use the UART driver from pico-sdk

config PICOSDK_USE_GPIO
	bool
	help
	  Use the GPIO driver from pico-sdk

config PICOSDK_USE_FLASH
	bool
	help
	  Use the flash driver from pico-sdk

config PICOSDK_USE_PWM
	bool
	help
	  Use the PWM driver from pico-sdk

config PICOSDK_USE_ADC
	bool
	help
	  Use the ADC driver from pico-sdk

config PICOSDK_USE_DMA
	bool
	help
	  Use the DMA driver from pico-sdk

config PICOSDK_USE_PIO
	bool
	select PICOSDK_USE_CLAIM
	help
	  Use the PIO driver from pico-sdk

config PICOSDK_USE_CLAIM
	bool
	help
	  Use the "claim" driver from pico-sdk

config PICOSDK_USE_TIMER
	bool
	help
	  Use the TIMER driver from pico-sdk

config PICOSDK_USE_RTC
	bool
	help
	  Use the RTC driver from pico-sdk