From aeb9213e7320bb041a6c42aef6f5ce8c6a561a66 Mon Sep 17 00:00:00 2001
From: Martin Stein <martin.stein@genode-labs.com>
Date: Thu, 6 Mar 2014 13:13:15 +0100
Subject: [PATCH] mp_server.run: allow testing with hw_arndale

fix #1076
---
 base/run/mp_server.run | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/base/run/mp_server.run b/base/run/mp_server.run
index c505c05b2..9be6feb16 100644
--- a/base/run/mp_server.run
+++ b/base/run/mp_server.run
@@ -1,10 +1,13 @@
 #
 # \brief  Test to start and call RPC entrypoint on all available CPUs
 # \author Norman Feske
-# \author Alexander Boettcher 
+# \author Alexander Boettcher
 #
 
-if {[have_spec platform_pbxa9] || (![have_spec nova] && ![have_spec foc])} {
+if {
+	![have_spec hw_arndale] &&
+	([have_spec platform_pbxa9] || (![have_spec nova] && ![have_spec foc]))
+} {
 	puts "Platform is unsupported."
 	exit 0
 }