# SPDX-License-Identifier: (GPL-2.0-only OR BSD-2-Clause)
%YAML 1.2
---
$id: http://devicetree.org/schemas/watchdog/microchip,pic32mzda-dmt.yaml#
$schema: http://devicetree.org/meta-schemas/core.yaml#

title: Microchip PIC32MZDA Deadman Timer

maintainers:
  - Thomas Bogendoerfer <tsbogend@alpha.franken.de>

description: |
  The deadman timer is used to reset the processor in the event of a software
  malfunction. It is a free-running instruction fetch timer, which is clocked
  whenever an instruction fetch occurs until a count match occurs.

allOf:
  - $ref: watchdog.yaml#

properties:
  compatible:
    const: microchip,pic32mzda-dmt

  reg:
    maxItems: 1

  clocks:
    maxItems: 1

required:
  - compatible
  - reg
  - clocks

unevaluatedProperties: false

examples:
  - |
    #include <dt-bindings/clock/microchip,pic32-clock.h>

    watchdog@1f800a00 {
        compatible = "microchip,pic32mzda-dmt";
        reg = <0x1f800a00 0x80>;
        clocks = <&rootclk PB7CLK>;
       };