mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-22 15:02:25 +00:00
d2a36c5958
The new base/xsd/config.inc defines generic XSD types such as 'Boolean' or 'Session_label'. It can be included in config XSD files by using: ! <xs:include schemaLocation="file://${GENODE_CONFIG_INC}"/> The string ${GENODE_CONFIG_INC} is replaced by the run tool with the above mentionened file path. Issue #2897 |
||
---|---|---|
.. | ||
net_types.xsd | ||
timeout_types.xsd |