mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-22 02:16:44 +00:00
parent
bfe0031304
commit
ef1dee8bc6
@ -138,6 +138,7 @@
|
|||||||
</xs:choice>
|
</xs:choice>
|
||||||
<xs:attribute name="prio_levels" type="xs:int" />
|
<xs:attribute name="prio_levels" type="xs:int" />
|
||||||
<xs:attribute name="verbose" type="xs:string" />
|
<xs:attribute name="verbose" type="xs:string" />
|
||||||
|
<xs:attribute name="ld_verbose" type="xs:string" />
|
||||||
</xs:complexType>
|
</xs:complexType>
|
||||||
</xs:element> <!-- "config" -->
|
</xs:element> <!-- "config" -->
|
||||||
</xs:schema>
|
</xs:schema>
|
||||||
|
Loading…
x
Reference in New Issue
Block a user