From 9c136f66d4f0b8e1e57223d8eafcc58d412dd959 Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Mon, 24 Oct 2022 14:33:35 +0200
Subject: [PATCH] ieee754: adjust RAM quota to sel4

---
 repos/libports/run/ieee754.run | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

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"/>