# SPDX-License-Identifier: (GPL-2.0-only OR BSD-2-Clause)
%YAML 1.2
---
$id: http://devicetree.org/schemas/interrupt-controller/technologic,ts4800-irqc.yaml#
$schema: http://devicetree.org/meta-schemas/core.yaml#

title: TS-4800 FPGA Interrupt Controller

maintainers:
  - Damien Riegel <damien.riegel@savoirfairelinux.com>

description:
  TS-4800 FPGA has an internal interrupt controller. When one of the interrupts
  is triggered, the SoC is notified, usually using a GPIO as parent interrupt
  source.

properties:
  compatible:
    const: technologic,ts4800-irqc

  reg:
    maxItems: 1

  '#interrupt-cells':
    const: 1

  interrupt-controller: true

  interrupts:
    maxItems: 1

required:
  - compatible
  - reg
  - interrupt-controller
  - '#interrupt-cells'
  - interrupts

additionalProperties: false

examples:
  - |
    interrupt-controller@1000 {
        compatible = "technologic,ts4800-irqc";
        reg = <0x1000 0x80>;
        interrupt-controller;
        #interrupt-cells = <1>;
        interrupts = <10>;
    };