From 0fb5ce09180e8e94f3d4afe33a887d4eed0e4aaf Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Thu, 9 Apr 2015 11:33:47 +0200
Subject: [PATCH] base: run mp_server on hw_x86_64 as single core

---
 repos/base/run/mp_server.run | 1 +
 1 file changed, 1 insertion(+)

diff --git a/repos/base/run/mp_server.run b/repos/base/run/mp_server.run
index de72a3253..0d4d6a3f5 100644
--- a/repos/base/run/mp_server.run
+++ b/repos/base/run/mp_server.run
@@ -43,6 +43,7 @@ if {[have_include "power_on/qemu"]} {
 	if {[have_spec okl4]}           { set want_cpus 1 }
 	if {[have_spec pistachio]}      { set want_cpus 1 }
 	if {[have_spec fiasco]}         { set want_cpus 1 }
+	if {[have_spec hw_x86_64]}      { set want_cpus 1 }
 
 	append qemu_args " -nographic -m 64 -smp $want_cpus,cores=$want_cpus "
 }