# Copyright (c) 2019 Microchip Technology Inc.
# SPDX-License-Identifier: Apache-2.0

description: Microchip XEC RTOS timer

compatible: "microchip,xec-rtos-timer"

include: base.yaml

properties:
    reg:
      required: true

    interrupts:
      required: true

    girqs:
      type: array
      required: true
      description: Array of GIRQ numbers [8:26] and bit positions [0:31].

    "#girq-cells":
      type: int
      const: 2

girq-cells:
    - girq_num
    - bitpos