diff --git a/repos/base/run/mp_server.run b/repos/base/run/mp_server.run
index bb2b3bfca..1183cd795 100644
--- a/repos/base/run/mp_server.run
+++ b/repos/base/run/mp_server.run
@@ -44,6 +44,7 @@ if {[have_include "power_on/qemu"]} {
 	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 }
+	if {[have_spec hw_zynq]}        { set want_cpus 1 }
 
 	append qemu_args " -nographic -m 64 -smp $want_cpus,cores=$want_cpus "
 }