From c3fd572a5237ba7904bffe2ef553d7504aeb663a Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Wed, 6 Mar 2019 14:54:03 +0100
Subject: [PATCH] init: add report/buffer attribute to xsd

Issue #3216
---
 repos/os/src/init/config.xsd | 1 +
 1 file changed, 1 insertion(+)

diff --git a/repos/os/src/init/config.xsd b/repos/os/src/init/config.xsd
index e0ef777462..938dcdb8fb 100644
--- a/repos/os/src/init/config.xsd
+++ b/repos/os/src/init/config.xsd
@@ -122,6 +122,7 @@
       <xs:attribute name="init_caps"    type="Boolean" />
       <xs:attribute name="init_ram"     type="Boolean" />
       <xs:attribute name="delay_ms"     type="xs:int" />
+      <xs:attribute name="buffer"       type="Number_of_bytes" />
      </xs:complexType>
     </xs:element> <!-- "report" -->