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