From e2d9b31bfe8f6f919a62982c70865ebd115edba8 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Thu, 30 Jan 2014 21:13:53 +0100
Subject: [PATCH] iso9660: Increase entrypoint stack size for 64bit

---
 os/src/server/iso9660/main.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/os/src/server/iso9660/main.cc b/os/src/server/iso9660/main.cc
index 1d69871cd0..1b09b087d5 100644
--- a/os/src/server/iso9660/main.cc
+++ b/os/src/server/iso9660/main.cc
@@ -306,7 +306,7 @@ int main()
 	Iso::Pager::pager()->start();
 
 	/* initialize ROM service */
-	enum { STACK_SIZE = 4096 };
+	enum { STACK_SIZE = sizeof(long)*4096 };
 	static Cap_connection cap;
 	static Rpc_entrypoint ep(&cap, STACK_SIZE, "iso9660_ep");