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

Add rtc, labeling to runtime.xsd

This commit is contained in:
Ehmry - 2019-02-28 14:12:58 +01:00
parent ade428c7a2
commit 2a6443f415
2 changed files with 25 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
errata/base_types.xsd
View File

@ -18,4 +18,11 @@
</xs:restriction>
</xs:simpleType><!-- Number_of_bytes -->
<xs:simpleType name="Session_label">
<xs:restriction base="xs:string">
<xs:minLength value="0"/>
<xs:maxLength value="160"/>
</xs:restriction>
</xs:simpleType><!-- Session_label -->
</xs:schema>

30
errata/runtime.xsd
View File

@ -3,20 +3,26 @@
<xs:include schemaLocation="base_types.xsd"/>
<xs:complexType name="template_service">
<xs:choice minOccurs="0" maxOccurs="unbounded"/>
<xs:attribute name="label" type="Session_label" />
</xs:complexType>
<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:element name="audio_in" type="template_service"/>
<xs:element name="audio_out" type="template_service"/>
<xs:element name="block" type="template_service"/>
<xs:element name="file_system" type="template_service"/>
<xs:element name="framebuffer" type="template_service"/>
<xs:element name="input" type="template_service"/>
<xs:element name="log" type="template_service"/>
<xs:element name="nic" type="template_service"/>
<xs:element name="nitpicker" type="template_service"/>
<xs:element name="report" type="template_service"/>
<xs:element name="rom" type="template_service"/>
<xs:element name="rtc" type="template_service"/>
<xs:element name="terminal" type="template_service"/>
</xs:choice>
</xs:complexType>