1# Copyright (c) 2023 Andrew Featherstone
2# SPDX-License-Identifier: Apache-2.0
3
4config RTC_RPI_PICO
5	bool "Raspberry Pi Pico RTC driver"
6	default y
7	depends on DT_HAS_RASPBERRYPI_PICO_RTC_ENABLED
8	select PICOSDK_USE_RTC
9	depends on RESET
10