From fe303f0e46285d527d6734090194d4dfde01f008 Mon Sep 17 00:00:00 2001
From: Martin Stein <martin.stein@genode-labs.com>
Date: Mon, 1 Oct 2018 14:53:07 +0200
Subject: [PATCH] init/config.xsd: add <service> specification

Fixes #3007
---
 repos/os/src/init/config.xsd | 44 ++++++++++++++++++++++++++++++++++++
 1 file changed, 44 insertions(+)

diff --git a/repos/os/src/init/config.xsd b/repos/os/src/init/config.xsd
index 8193d6e3f..e0ef77746 100644
--- a/repos/os/src/init/config.xsd
+++ b/repos/os/src/init/config.xsd
@@ -33,6 +33,50 @@
   <xs:complexType>
    <xs:choice minOccurs="0" maxOccurs="unbounded">
 
+    <xs:element name="service">
+     <xs:complexType>
+      <xs:choice minOccurs="1" maxOccurs="unbounded">
+
+       <xs:element name="default-policy">
+        <xs:complexType>
+         <xs:choice minOccurs="1" maxOccurs="1">
+
+          <xs:element name="child">
+           <xs:complexType>
+            <xs:attribute name="name"  type="xs:string" />
+            <xs:attribute name="label" type="Session_label" />
+           </xs:complexType>
+          </xs:element><!-- child -->
+
+         </xs:choice>
+        </xs:complexType>
+       </xs:element><!-- default-policy -->
+
+       <xs:element name="policy">
+        <xs:complexType>
+         <xs:choice minOccurs="1" maxOccurs="1">
+
+          <xs:element name="child">
+           <xs:complexType>
+            <xs:attribute name="name"  type="xs:string" />
+            <xs:attribute name="label" type="Session_label" />
+           </xs:complexType>
+          </xs:element><!-- child -->
+
+         </xs:choice>
+         <xs:attribute name="label"          type="Session_label" />
+         <xs:attribute name="label_prefix"   type="Session_label" />
+         <xs:attribute name="label_suffix"   type="Session_label" />
+         <xs:attribute name="label_last"     type="Session_label" />
+         <xs:attribute name="unscoped_label" type="Session_label" />
+        </xs:complexType>
+       </xs:element><!-- policy -->
+
+      </xs:choice>
+      <xs:attribute name="name" type="xs:string" />
+     </xs:complexType>
+    </xs:element><!-- "service" -->
+
     <xs:element name="affinity-space">
      <xs:complexType>
       <xs:attribute name="width"  type="xs:int" />