mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-31 08:25:38 +00:00
Explicitly use qemu-system-i386 rather than qemu
This commit is contained in:
parent
93faa9a36f
commit
2f2fd33d96
@ -106,7 +106,7 @@ proc spawn_qemu { wait_for_re timeout_value } {
|
||||
global qemu_args
|
||||
global qemu
|
||||
global spawn_id
|
||||
set qemu "qemu"
|
||||
set qemu "qemu-system-i386"
|
||||
|
||||
set timeout $timeout_value
|
||||
set pid [eval "spawn $qemu $qemu_args"]
|
||||
|
3
tool/run
3
tool/run
@ -414,9 +414,8 @@ proc spawn_qemu { wait_for_re timeout_value } {
|
||||
global qemu_args
|
||||
global qemu
|
||||
global spawn_id
|
||||
set qemu "qemu"
|
||||
|
||||
# use special qemu versions for non x86_32 architectures
|
||||
if {[have_spec x86_32]} { set qemu "qemu-system-i386" }
|
||||
if {[have_spec x86_64]} { set qemu "qemu-system-x86_64" }
|
||||
if {[have_spec arm]} { set qemu "qemu-system-arm" }
|
||||
|
||||
|
Loading…
x
Reference in New Issue
Block a user