From 6fb9c802d3c7d13f51baa566e7953c8c4b876ad1 Mon Sep 17 00:00:00 2001
From: Stefan Kalkowski <stefan.kalkowski@genode-labs.com>
Date: Fri, 30 Nov 2018 11:18:24 +0100
Subject: [PATCH] depot: enable package building for armv6

* Allow depot_autopilot to be run on top of arm_v6 too (Ref #3027)
---
 repos/gems/run/depot_autopilot.run            | 1 +
 repos/gems/src/app/depot_autopilot/config.xsd | 1 +
 tool/run/depot.inc                            | 1 +
 3 files changed, 3 insertions(+)

diff --git a/repos/gems/run/depot_autopilot.run b/repos/gems/run/depot_autopilot.run
index 997b1ee57..d6acbea39 100644
--- a/repos/gems/run/depot_autopilot.run
+++ b/repos/gems/run/depot_autopilot.run
@@ -572,6 +572,7 @@ proc prepare_to_run_genode { } {
 # Check platform support
 #
 if {[expr ![have_spec x86] && \
+          ![have_spec arm_v6] && \
           ![have_spec arm_v7a] ]} \
 {
 	puts "\n Run script is not supported on this platform. \n";
diff --git a/repos/gems/src/app/depot_autopilot/config.xsd b/repos/gems/src/app/depot_autopilot/config.xsd
index de7067722..a360e4201 100644
--- a/repos/gems/src/app/depot_autopilot/config.xsd
+++ b/repos/gems/src/app/depot_autopilot/config.xsd
@@ -8,6 +8,7 @@
 		<xs:restriction base="xs:string">
 			<xs:enumeration value="x86_64" />
 			<xs:enumeration value="x86_32" />
+			<xs:enumeration value="arm_v6" />
 			<xs:enumeration value="arm_v7a" />
 		</xs:restriction>
 	</xs:simpleType><!-- Architecture -->
diff --git a/tool/run/depot.inc b/tool/run/depot.inc
index 2661a0f73..72b8c1b23 100644
--- a/tool/run/depot.inc
+++ b/tool/run/depot.inc
@@ -21,6 +21,7 @@ proc depot_dir { } {
 proc depot_spec { } {
 	if {[have_spec x86_32]}  { return "x86_32" }
 	if {[have_spec x86_64]}  { return "x86_64" }
+	if {[have_spec arm_v6]}  { return "arm_v6" }
 	if {[have_spec arm_v7a]} { return "arm_v7a" }
 }