From 117b932176edb0496c30e78f046979e15662dc83 Mon Sep 17 00:00:00 2001
From: Roman Iten <roman.iten@gapfruit.com>
Date: Sat, 30 Jun 2018 16:21:02 +0200
Subject: [PATCH] init: add "report" element to the config schema

Issue #2897
---
 repos/os/src/init/config.xsd | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

diff --git a/repos/os/src/init/config.xsd b/repos/os/src/init/config.xsd
index f3c5261901..511aeaa95a 100644
--- a/repos/os/src/init/config.xsd
+++ b/repos/os/src/init/config.xsd
@@ -65,6 +65,20 @@
      </xs:complexType>
     </xs:element> <!-- "default" -->
 
+    <xs:element name="report">
+     <xs:complexType>
+      <xs:attribute name="ids" type="xs:string" />
+      <xs:attribute name="requested" type="xs:string" />
+      <xs:attribute name="provided" type="xs:string" />
+      <xs:attribute name="session_args" type="xs:string" />
+      <xs:attribute name="child_caps" type="xs:string" />
+      <xs:attribute name="child_ram" type="xs:string" />
+      <xs:attribute name="init_caps" type="xs:string" />
+      <xs:attribute name="init_ram" type="xs:string" />
+      <xs:attribute name="delay_ms" type="xs:int" />
+     </xs:complexType>
+    </xs:element> <!-- "report" -->
+
     <xs:element name="resource">
      <xs:complexType>
       <xs:attribute name="name" type="xs:string" />