1# Copyright (c) 2019 Microchip Technology Inc.
2# SPDX-License-Identifier: Apache-2.0
3
4description: Microchip XEC RTOS timer
5
6compatible: "microchip,xec-rtos-timer"
7
8include: ["base.yaml", "microchip,dmec-ecia-girq.yaml"]
9
10properties:
11  reg:
12    required: true
13
14  interrupts:
15    required: true
16
17  busy-wait-timer:
18    type: phandle
19    description: |
20      If custom busy wait Kconfig is enabled then this points to the 32-bit
21      basic timer node used to implement the 1 MHz busy wait timer.
22
23  clock-frequency:
24    type: int
25    required: true
26    const: 32768
27    description: RTOS timer runs at fixed 32 KHz.
28