ehmry/genode
ehmry
/
genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

run: adapt qemu RAM size for okl4/x86 

Our static okl4 system-integration configuration specifies a fixed RAM
range from 32 to 800 MiB, which must be satisfied by Qemu or strange
errors happen due to accesses beyond RAM. (Fixes current issues with
nic_router.run.)
This commit is contained in:
Christian Helmuth 2018-04-05 15:16:06 +02:00
parent db3250f6ee
commit 49f64a0cac
1 changed files with 6 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
tool/run/power_on/qemu
View File

@ -107,7 +107,12 @@ proc run_power_on { } {
# on x86, we support booting via pxe or iso/disk image
if {[have_spec x86]} {
if {![regexp -- {-m} $qemu_args dummy]} {
append qemu_args " -m 512 "
if {[have_spec okl4]} {
# okl4 system integration specifies RAM from 32 to 800 MiB
append qemu_args " -m 800 "
} else {
append qemu_args " -m 512 "
}
}
if {[have_include "load/tftp"]} {
append qemu_args " -boot n -tftp [run_dir] -bootp boot/pulsar -no-reboot -no-shutdown "