ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-03-23 04:25:21 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

sel4: limit mp_server.run to 1 cpu for sel4

Browse Source 
Issue #2044
This commit is contained in:
Alexander Boettcher 2016-07-19 13:55:59 +02:00 committed by Christian Helmuth
parent 198475b6b3
commit 155621767a
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
repos/base/run/mp_server.run
View File

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