From 28112d1ff9357795c905d8198281030f820ba1b7 Mon Sep 17 00:00:00 2001
From: Stefan Kalkowski <stefan.kalkowski@genode-labs.com>
Date: Wed, 14 Jan 2015 12:18:16 +0100
Subject: [PATCH] rump: exclude ARM architectures apart from v7

Ref #1366
---
 repos/dde_rump/lib/mk/arm/rump.mk    | 1 +
 repos/dde_rump/run/rump_cgd_ext2.run | 4 ++++
 repos/dde_rump/run/rump_ext2.run     | 4 ++++
 repos/dde_rump/run/rump_fat.run      | 4 ++++
 repos/dde_rump/run/rump_iso.run      | 4 ++++
 5 files changed, 17 insertions(+)

diff --git a/repos/dde_rump/lib/mk/arm/rump.mk b/repos/dde_rump/lib/mk/arm/rump.mk
index 3d7465cc3..9bbe77ec8 100644
--- a/repos/dde_rump/lib/mk/arm/rump.mk
+++ b/repos/dde_rump/lib/mk/arm/rump.mk
@@ -1,4 +1,5 @@
 
 RUMP_OPT =
+REQUIRES = arm_v7
 
 include $(REP_DIR)/lib/mk/rump_base.inc
diff --git a/repos/dde_rump/run/rump_cgd_ext2.run b/repos/dde_rump/run/rump_cgd_ext2.run
index a2ddb024d..4a011330e 100644
--- a/repos/dde_rump/run/rump_cgd_ext2.run
+++ b/repos/dde_rump/run/rump_cgd_ext2.run
@@ -1,3 +1,7 @@
+if {[have_spec arm]} {
+   assert_spec arm_v7
+}
+
 #
 # Check used commands
 #
diff --git a/repos/dde_rump/run/rump_ext2.run b/repos/dde_rump/run/rump_ext2.run
index 74134aae8..736d389a2 100644
--- a/repos/dde_rump/run/rump_ext2.run
+++ b/repos/dde_rump/run/rump_ext2.run
@@ -1,3 +1,7 @@
+if {[have_spec arm]} {
+   assert_spec arm_v7
+}
+
 #
 # Check used commands
 #
diff --git a/repos/dde_rump/run/rump_fat.run b/repos/dde_rump/run/rump_fat.run
index 8a1fcbe23..f5ab9bb8c 100644
--- a/repos/dde_rump/run/rump_fat.run
+++ b/repos/dde_rump/run/rump_fat.run
@@ -1,3 +1,7 @@
+if {[have_spec arm]} {
+   assert_spec arm_v7
+}
+
 #
 # Check used commands
 #
diff --git a/repos/dde_rump/run/rump_iso.run b/repos/dde_rump/run/rump_iso.run
index 59029fef2..00ddee6d4 100644
--- a/repos/dde_rump/run/rump_iso.run
+++ b/repos/dde_rump/run/rump_iso.run
@@ -1,3 +1,7 @@
+if {[have_spec arm]} {
+   assert_spec arm_v7
+}
+
 #
 # Check used commands
 #