1# Copyright (c) 2021 Yonatan Schachter
2# SPDX-License-Identifier: Apache-2.0
3
4config HAS_RPI_PICO
5	bool
6
7config PICOSDK_USE_UART
8	bool
9	help
10	  Use the UART driver from pico-sdk
11
12config PICOSDK_USE_GPIO
13	bool
14	help
15	  Use the GPIO driver from pico-sdk
16
17config PICOSDK_USE_FLASH
18	bool
19	help
20	  Use the flash driver from pico-sdk
21
22config PICOSDK_USE_PWM
23	bool
24	help
25	  Use the PWM driver from pico-sdk
26
27config PICOSDK_USE_ADC
28	bool
29	help
30	  Use the ADC driver from pico-sdk
31
32config PICOSDK_USE_DMA
33	bool
34	help
35	  Use the DMA driver from pico-sdk
36
37config PICOSDK_USE_PIO
38	bool
39	select PICOSDK_USE_CLAIM
40	help
41	  Use the PIO driver from pico-sdk
42
43config PICOSDK_USE_CLAIM
44	bool
45	help
46	  Use the "claim" driver from pico-sdk
47
48config PICOSDK_USE_TIMER
49	bool
50	help
51	  Use the TIMER driver from pico-sdk
52
53config PICOSDK_USE_RTC
54	bool
55	help
56	  Use the RTC driver from pico-sdk
57