ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-01-18 18:56:29 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

init: add "report" element to the config schema

Browse Source 
Issue #2897
This commit is contained in:
Roman Iten 2018-06-30 16:21:02 +02:00 committed by Christian Helmuth
parent 170507a85c
commit 117b932176
1 changed files with 14 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
repos/os/src/init/config.xsd
View File

@ -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" />