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

base: run mp_server on hw_x86_64 as single core

Browse Source
This commit is contained in:
Christian Helmuth
2015-04-09 11:33:47 +02:00
parent 8fd30b13ac
commit 0fb5ce0918
1 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

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