diff --git a/ports/run/noux_tool_chain.run b/ports/run/noux_tool_chain.run
index db8b7db89..eac167692 100644
--- a/ports/run/noux_tool_chain.run
+++ b/ports/run/noux_tool_chain.run
@@ -229,9 +229,9 @@ lappend_if [have_spec pl11x] boot_modules pl11x_drv
 build_boot_image $boot_modules
 
 if {[have_spec x86_64]} {
-	append qemu_args " -m 500 "
+	append qemu_args " -m 512 "
 } else {
-        append qemu_args " -m 320 "
+	append qemu_args " -m 320 "
 }
 
 run_genode_until forever