diff --git a/repos/gems/run/depot_autopilot.run b/repos/gems/run/depot_autopilot.run index b878d603dc..f59b5a164d 100644 --- a/repos/gems/run/depot_autopilot.run +++ b/repos/gems/run/depot_autopilot.run @@ -457,7 +457,7 @@ proc prepare_to_run_genode { } { set serial_id -1 set timeout 40 - append qemu_args "-nographic -serial mon:stdio " + append qemu_args "-m 768 -nographic -serial mon:stdio " }