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 7title: Virtual Machine Generation ID 8 9maintainers: 10 - Jason A. Donenfeld <Jason@zx2c4.com> 11 12description: 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 19properties: 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 33required: 34 - compatible 35 - reg 36 - interrupts 37 38additionalProperties: false 39 40examples: 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... 50