denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 12:32:56 +01:00
Code Issues Packages Projects Releases Wiki Activity

mp_server.run: allow testing with hw_arndale

Browse Source 
fix #1076
This commit is contained in:
Martin Stein
2014-03-06 13:13:15 +01:00
committed by Norman Feske
parent d605681ce4
commit aeb9213e73
1 changed files with 5 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
base/run/mp_server.run
View File

@@ -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
}