From 52d798ff40ed885b0959a29b1e6f80617dc6eced Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Wed, 25 Mar 2020 10:13:37 +0100
Subject: [PATCH] init: support heartbeat in config.xsd

---
 repos/os/src/init/config.xsd | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/repos/os/src/init/config.xsd b/repos/os/src/init/config.xsd
index 938dcdb8f..85bb24b34 100644
--- a/repos/os/src/init/config.xsd
+++ b/repos/os/src/init/config.xsd
@@ -126,6 +126,12 @@
      </xs:complexType>
     </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:complexType>
       <xs:attribute name="name"     type="xs:string" />
@@ -143,6 +149,8 @@
         </xs:complexType>
        </xs:element> <!-- "binary" -->
 
+       <xs:element name="heartbeat" />
+
        <xs:element name="affinity">
         <xs:complexType>
          <xs:attribute name="xpos"   type="xs:int" />