1# Copyright (c) 2023 TOKITA Hiroshi
2# SPDX-License-Identifier: Apache-2.0
3
4config COUNTER_TIMER_RPI_PICO
5	def_bool y
6	select PICOSDK_USE_TIMER
7	select PICOSDK_USE_CLAIM
8	depends on DT_HAS_RASPBERRYPI_PICO_TIMER_ENABLED
9