diff --git a/tool/run/power_on/qemu b/tool/run/power_on/qemu index e35a200f3c..c41879099a 100644 --- a/tool/run/power_on/qemu +++ b/tool/run/power_on/qemu @@ -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 "