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.
This commit is contained in:
Christian Prochaska 2013-11-26 15:35:53 +01:00 committed by Norman Feske
parent fb468c1c87
commit 1884e16ecf

View File

@ -23,7 +23,7 @@
using namespace Genode; using namespace Genode;
using namespace Nova; 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; extern Genode::addr_t __core_pd_sel;