diff --git a/repos/libports/run/ieee754.run b/repos/libports/run/ieee754.run
index d9680819ca..75eb5ff5b2 100644
--- a/repos/libports/run/ieee754.run
+++ b/repos/libports/run/ieee754.run
@@ -25,7 +25,7 @@ install_config {
 		<default caps="100"/>
 		<start name="test1">
 			<binary name="test-ieee754"/>
-			<resource name="RAM" quantum="2096K"/>
+			<resource name="RAM" quantum="2144K"/>
 			<config>
 				<vfs> <dir name="dev"><log/></dir></vfs>
 				<libc stdout="/dev/log"/>
@@ -33,7 +33,7 @@ install_config {
 		</start>
 		<start name="test2">
 			<binary name="test-ieee754"/>
-			<resource name="RAM" quantum="2096K"/>
+			<resource name="RAM" quantum="2144K"/>
 			<config>
 				<vfs> <dir name="dev"><log/></dir></vfs>
 				<libc stdout="/dev/log"/>
@@ -41,7 +41,7 @@ install_config {
 		</start>
 		<start name="test3">
 			<binary name="test-ieee754"/>
-			<resource name="RAM" quantum="2096K"/>
+			<resource name="RAM" quantum="2144K"/>
 			<config>
 				<vfs> <dir name="dev"><log/></dir></vfs>
 				<libc stdout="/dev/log"/>
@@ -49,7 +49,7 @@ install_config {
 		</start>
 		<start name="test4">
 			<binary name="test-ieee754"/>
-			<resource name="RAM" quantum="2096K"/>
+			<resource name="RAM" quantum="2144K"/>
 			<config>
 				<vfs> <dir name="dev"><log/></dir></vfs>
 				<libc stdout="/dev/log"/>