modules: hal_rpi_pico: Enable TIMER driver

Enable TIME driver.
Add the path of the TIME driver header into include paths.

Signed-off-by: TOKITA Hiroshi <tokita.hiroshi@fujitsu.com>
This commit is contained in:
TOKITA Hiroshi 2023-04-21 12:26:50 +09:00 committed by Carles Cufí
commit 8d98e7064e
2 changed files with 10 additions and 0 deletions

View file

@ -105,6 +105,11 @@ if(CONFIG_HAS_RPI_PICO)
zephyr_include_directories_ifdef(CONFIG_PICOSDK_USE_DMA
${rp2_common_dir}/hardware_dma/include)
zephyr_library_sources_ifdef(CONFIG_PICOSDK_USE_TIMER
${rp2_common_dir}/hardware_timer/timer.c)
zephyr_include_directories_ifdef(CONFIG_PICOSDK_USE_TIMER
${rp2_common_dir}/hardware_timer/include)
zephyr_library_sources_ifdef(CONFIG_PICOSDK_USE_CLAIM
${rp2_common_dir}/hardware_claim/claim.c)
zephyr_include_directories_ifdef(CONFIG_PICOSDK_USE_CLAIM

View file

@ -44,3 +44,8 @@ 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