df8c89b528
This adds the minimal get_time/set_time support for the rp2040 and enables support by default on the Pico boards. This doesn't support configuring the clock source or alarm interrupts yet. Signed-off-by: Andrew Featherstone <andrew.featherstone@gmail.com>
57 lines
868 B
Plaintext
57 lines
868 B
Plaintext
# 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
|