alex/genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

init: support heartbeat in config.xsd

Browse Source
This commit is contained in:
Christian Helmuth
2020-03-25 10:13:37 +01:00
committed by Norman Feske
parent 256b2fa3e1
commit 52d798ff40
1 changed files with 8 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
repos/os/src/init/config.xsd
View File

@@ -126,6 +126,12 @@
</xs:complexType> </xs:complexType>
</xs:element> <!-- "report" --> </xs:element> <!-- "report" -->
<xs:element name="heartbeat">
<xs:complexType>
<xs:attribute name="rate_ms" type="xs:int" />
</xs:complexType>
</xs:element> <!-- "heartbeat" -->
<xs:element name="resource"> <xs:element name="resource">
<xs:complexType> <xs:complexType>
<xs:attribute name="name" type="xs:string" /> <xs:attribute name="name" type="xs:string" />
@@ -143,6 +149,8 @@
</xs:complexType> </xs:complexType>
</xs:element> <!-- "binary" --> </xs:element> <!-- "binary" -->
<xs:element name="heartbeat" />
<xs:element name="affinity"> <xs:element name="affinity">
<xs:complexType> <xs:complexType>
<xs:attribute name="xpos" type="xs:int" /> <xs:attribute name="xpos" type="xs:int" />