From 322bacd38033bde7ddf604849ba870e79000f449 Mon Sep 17 00:00:00 2001
From: Martin Stein <martin.stein@genode-labs.com>
Date: Fri, 12 Jul 2019 14:49:15 +0200
Subject: [PATCH] timeout_types.xsd: Minutes type

Ref #3448
Ref #3450
---
 repos/os/xsd/timeout_types.xsd | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/repos/os/xsd/timeout_types.xsd b/repos/os/xsd/timeout_types.xsd
index d8848e070..f06733924 100644
--- a/repos/os/xsd/timeout_types.xsd
+++ b/repos/os/xsd/timeout_types.xsd
@@ -8,4 +8,11 @@
 		</xs:restriction>
 	</xs:simpleType><!-- Seconds -->
 
+	<xs:simpleType name="Minutes">
+		<xs:restriction base="xs:integer">
+			<xs:minInclusive value="0"/>
+			<xs:maxInclusive value="307445734561"/>
+		</xs:restriction>
+	</xs:simpleType><!-- Minutes -->
+
 </xs:schema>