genode/repos/os/xsd/timeout_types.xsd

<?xml version="1.0"?>
<xs:schema xmlns:xs="http://www.w3.org/2001/XMLSchema">

	<xs:simpleType name="Seconds">
		<xs:restriction base="xs:integer">
			<xs:minInclusive value="0"/>
			<xs:maxInclusive value="3600"/>
		</xs:restriction>
	</xs:simpleType><!-- Seconds -->

</xs:schema>
base: define generic config XSD types globally 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 2018-07-04 14:08:16 +02:00			`<?xml version="1.0"?>`
			`<xs:schema xmlns:xs="http://www.w3.org/2001/XMLSchema">`

			`<xs:simpleType name="Seconds">`
			`<xs:restriction base="xs:integer">`
timeout_types.xsd: allow 0 seconds The previous range was from 1..X because we only used it for durations. But with the Depot Autopilot we want to use it also for a timestamp. 2018-10-31 02:20:36 +01:00			`<xs:minInclusive value="0"/>`
base: define generic config XSD types globally 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 2018-07-04 14:08:16 +02:00			`<xs:maxInclusive value="3600"/>`
			`</xs:restriction>`
			`</xs:simpleType><!-- Seconds -->`

			`</xs:schema>`