1# SPDX-License-Identifier: (GPL-2.0 OR BSD-2-Clause)
2# Copyright 2018 Linaro Ltd.
3%YAML 1.2
4---
5$id: http://devicetree.org/schemas/timer/intel,ixp4xx-timer.yaml#
6$schema: http://devicetree.org/meta-schemas/core.yaml#
7
8title: Intel IXP4xx XScale Networking Processors Timers
9
10maintainers:
11  - Linus Walleij <linus.walleij@linaro.org>
12
13description: This timer is found in the Intel IXP4xx processors.
14
15properties:
16  compatible:
17    items:
18      - const: intel,ixp4xx-timer
19
20  reg:
21    maxItems: 1
22
23  interrupts:
24    minItems: 1
25    items:
26      - description: Timer 1 interrupt
27      - description: Timer 2 interrupt
28
29required:
30  - compatible
31  - reg
32  - interrupts
33
34additionalProperties: false
35
36examples:
37  - |
38    #include <dt-bindings/interrupt-controller/irq.h>
39    timer@c8005000 {
40        compatible = "intel,ixp4xx-timer";
41        reg = <0xc8005000 0x100>;
42        interrupts = <5 IRQ_TYPE_LEVEL_HIGH>;
43    };
44