init: add report/buffer attribute to xsd

Issue #3216
2019-03-06 14:54:03 +01:00 · 2019-03-06 14:54:03 +01:00 · c3fd572a52
parent bcc049ceeb
commit c3fd572a52
1 changed files with 1 additions and 0 deletions
--- 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" -->