From 155621767a3721a5ace82bc5a011cbda657865cc Mon Sep 17 00:00:00 2001 From: Alexander Boettcher Date: Tue, 19 Jul 2016 13:55:59 +0200 Subject: [PATCH] sel4: limit mp_server.run to 1 cpu for sel4 Issue #2044 --- repos/base/run/mp_server.run | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/repos/base/run/mp_server.run b/repos/base/run/mp_server.run index 91f34725f..8ac24c536 100644 --- a/repos/base/run/mp_server.run +++ b/repos/base/run/mp_server.run @@ -35,12 +35,13 @@ if {[have_include "power_on/qemu"]} { # pbxa9 - foc does only use 1 cpu even if more are configured # pbxa9 - hw does not support multiple CPUs if {[have_spec pbxa9]} { set want_cpus 1 } - # okl4, pistachio, fiasco only use one CPU even if more are configured + # kernels only using one CPU even if more are configured 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 } if {[have_spec hw_zynq]} { set want_cpus 1 } + if {[have_spec sel4]} { set want_cpus 1 } append qemu_args " -nographic -m 64 -smp $want_cpus,cores=$want_cpus " }