From d38257b8d5a7126c48427b1053353fd039a673cc Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Mon, 13 Aug 2012 15:20:07 +0200
Subject: [PATCH] tar_rom: increase memory for 64bit Nova

---
 os/run/tar_rom.run | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/os/run/tar_rom.run b/os/run/tar_rom.run
index d0ea5af79..33e8f2745 100644
--- a/os/run/tar_rom.run
+++ b/os/run/tar_rom.run
@@ -37,7 +37,7 @@ install_config {
 		<provides><service name="Timer"/></provides>
 	</start>
 	<start name="tar_rom">
-		<resource name="RAM" quantum="5156K"/>
+		<resource name="RAM" quantum="5200K"/>
 		<provides><service name="ROM"/></provides>
 		<config>
 			<archive name="archive.tar"/>