1# Copyright (c) 2023 TOKITA Hiroshi 2# SPDX-License-Identifier: Apache-2.0 3 4description: RaspberryPi Pico timer 5 6compatible: "raspberrypi,pico-timer" 7 8include: [base.yaml, reset-device.yaml] 9