ehmry/genode-ehmry
ehmry
/
genode-ehmry
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Update runtime validator

This commit is contained in:
Ehmry - 2019-02-27 16:48:05 +01:00
parent d6ad9f86b1
commit c97c1a7a8b
1 changed files with 19 additions and 36 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

55
errata/runtime.xsd
View File

@ -3,48 +3,31 @@
<xs:include schemaLocation="base_types.xsd"/>
<xs:complexType name="template_services">
<xs:choice minOccurs="0" maxOccurs="unbounded">
<xs:element name="audio_in"> <xs:complexType/> </xs:element>
<xs:element name="audio_out"> <xs:complexType/> </xs:element>
<xs:element name="block"> <xs:complexType/> </xs:element>
<xs:element name="file_system"> <xs:complexType/> </xs:element>
<xs:element name="framebuffer"> <xs:complexType/> </xs:element>
<xs:element name="input"> <xs:complexType/> </xs:element>
<xs:element name="log"> <xs:complexType/> </xs:element>
<xs:element name="nic"> <xs:complexType/> </xs:element>
<xs:element name="nitpicker"> <xs:complexType/> </xs:element>
<xs:element name="report"> <xs:complexType/> </xs:element>
<xs:element name="rom"> <xs:complexType/> </xs:element>
<xs:element name="terminal"> <xs:complexType/> </xs:element>
</xs:choice>
</xs:complexType>
<xs:element name="runtime">
<xs:complexType>
<xs:choice minOccurs="0" maxOccurs="unbounded">
<xs:element name="requires">
<xs:complexType>
<xs:choice minOccurs="0" maxOccurs="unbounded">
<xs:element name="audio_in"> <xs:complexType/> </xs:element>
<xs:element name="audio_out"> <xs:complexType/> </xs:element>
<xs:element name="block"> <xs:complexType/> </xs:element>
<xs:element name="file_system"> <xs:complexType/> </xs:element>
<xs:element name="framebuffer"> <xs:complexType/> </xs:element>
<xs:element name="input"> <xs:complexType/> </xs:element>
<xs:element name="log"> <xs:complexType/> </xs:element>
<xs:element name="nic"> <xs:complexType/> </xs:element>
<xs:element name="nitpicker"> <xs:complexType/> </xs:element>
<xs:element name="report"> <xs:complexType/> </xs:element>
<xs:element name="rom"> <xs:complexType/> </xs:element>
<xs:element name="terminal"> <xs:complexType/> </xs:element>
</xs:choice>
</xs:complexType>
</xs:element>
<xs:element name="requires" type="template_services"/>
<xs:element name="provides">
<xs:complexType>
<xs:choice minOccurs="0" maxOccurs="unbounded">
<xs:element name="audio_in"> <xs:complexType/> </xs:element>
<xs:element name="audio_out"> <xs:complexType/> </xs:element>
<xs:element name="block"> <xs:complexType/> </xs:element>
<xs:element name="file_system"> <xs:complexType/> </xs:element>
<xs:element name="framebuffer"> <xs:complexType/> </xs:element>
<xs:element name="input"> <xs:complexType/> </xs:element>
<xs:element name="log"> <xs:complexType/> </xs:element>
<xs:element name="nic"> <xs:complexType/> </xs:element>
<xs:element name="nitpicker"> <xs:complexType/> </xs:element>
<xs:element name="report"> <xs:complexType/> </xs:element>
<xs:element name="rom"> <xs:complexType/> </xs:element>
<xs:element name="terminal"> <xs:complexType/> </xs:element>
</xs:choice>
</xs:complexType>
</xs:element>
<xs:element name="provides" type="template_services"/>
<xs:element name="content">
<xs:complexType>