# Copyright (c) 2019, Intel Corporation
# SPDX-License-Identifier: Apache-2.0

description: Microchip XEC basic timer

compatible: "microchip,xec-timer"

include: rtc.yaml

properties:
    reg:
      required: true

    interrupts:
      required: true

    clock-frequency:
      required: true

    prescaler:
      type: int
      required: true
      description: Timer frequency equals clock-frequency divided by the prescaler value

    max-value:
      type: int
      required: true
      description: Maximum counter value the instance can handle

    girq:
      type: int
      required: true
      description: GIRQ for this device

    girq-bit:
      type: int
      required: true
      description: Bit position in GIRQ for this device