From 1884e16ecf54345a560d03cb31104c2c243a41af Mon Sep 17 00:00:00 2001
From: Christian Prochaska <christian.prochaska@genode-labs.com>
Date: Tue, 26 Nov 2013 15:35:53 +0100
Subject: [PATCH] base-nova: increase page fault handler stack size

When building Genode/NOVA with -O0, the page fault handler thread could
run out of stack.

Fixes #977.
---
 base-nova/src/base/pager/pager.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/base-nova/src/base/pager/pager.cc b/base-nova/src/base/pager/pager.cc
index e35a0c8a50..8616673daf 100644
--- a/base-nova/src/base/pager/pager.cc
+++ b/base-nova/src/base/pager/pager.cc
@@ -23,7 +23,7 @@
 using namespace Genode;
 using namespace Nova;
 
-enum { PF_HANDLER_STACK_SIZE = sizeof(addr_t) * 1024 };
+enum { PF_HANDLER_STACK_SIZE = 2 * sizeof(addr_t) * 1024 };
 extern Genode::addr_t __core_pd_sel;