1 # SPDX-License-Identifier: (GPL-2.0-only OR BSD-2-Clause)
2 %YAML 1.2
3 ---
4 $id: http://devicetree.org/schemas/timer/brcm,bcm2835-system-timer.yaml#
5 $schema: http://devicetree.org/meta-schemas/core.yaml#
6
7 title: BCM2835 System Timer
8
9 maintainers:
10 - Stefan Wahren <wahrenst@gmx.net>
11 - Raspberry Pi Kernel Maintenance <kernel-list@raspberrypi.com>
12
13 description:
14 The System Timer peripheral provides four 32-bit timer channels and a
15 single 64-bit free running counter. Each channel has an output compare
16 register, which is compared against the 32 least significant bits of the
17 free running counter values, and generates an interrupt.
18
19 properties:
20 compatible:
21 const: brcm,bcm2835-system-timer
22
23 reg:
24 maxItems: 1
25
26 interrupts:
27 items:
28 - description: System Timer Compare 0 match (used by VideoCore GPU)
29 - description: System Timer Compare 1 match (usable for ARM core)
30 - description: System Timer Compare 2 match (used by VideoCore GPU)
31 - description: System Timer Compare 3 match (usable for ARM core)
32
33 clock-frequency: true
34
35 required:
36 - compatible
37 - reg
38 - interrupts
39
40 additionalProperties: false
41
42 examples:
43 - |
44 timer@7e003000 {
45 compatible = "brcm,bcm2835-system-timer";
46 reg = <0x7e003000 0x1000>;
47 interrupts = <1 0>, <1 1>, <1 2>, <1 3>;
48 clock-frequency = <1000000>;
49 };
50 ...
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.