1 # SPDX-License-Identifier: (GPL-2.0-only OR BSD-2-Clause)
2 %YAML 1.2
3 ---
4 $id: http://devicetree.org/schemas/rng/microsoft,vmgenid.yaml#
5 $schema: http://devicetree.org/meta-schemas/core.yaml#
6
7 title: Virtual Machine Generation ID
8
9 maintainers:
10 - Jason A. Donenfeld <Jason@zx2c4.com>
11
12 description:
13 Firmwares or hypervisors can use this devicetree to describe an
14 interrupt and a shared resource to inject a Virtual Machine Generation ID.
15 Virtual Machine Generation ID is a globally unique identifier (GUID) and
16 the devicetree binding follows VMGenID specification defined in
17 http://go.microsoft.com/fwlink/?LinkId=260709.
18
19 properties:
20 compatible:
21 const: microsoft,vmgenid
22
23 reg:
24 description:
25 Specifies a 16-byte VMGenID in endianness-agnostic hexadecimal format.
26 maxItems: 1
27
28 interrupts:
29 description:
30 Interrupt used to notify that a new VMGenID is available.
31 maxItems: 1
32
33 required:
34 - compatible
35 - reg
36 - interrupts
37
38 additionalProperties: false
39
40 examples:
41 - |
42 #include <dt-bindings/interrupt-controller/arm-gic.h>
43 rng@80000000 {
44 compatible = "microsoft,vmgenid";
45 reg = <0x80000000 0x1000>;
46 interrupts = <GIC_SPI 35 IRQ_TYPE_EDGE_RISING>;
47 };
48
49 ...
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.