From e9652d765de02caf58edb6c36466dd21d5ee1804 Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Fri, 15 May 2015 14:45:30 +0200
Subject: [PATCH] foc: increase stack size for IRQ handler

---
 repos/base-foc/src/core/irq_session_component.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/base-foc/src/core/irq_session_component.cc b/repos/base-foc/src/core/irq_session_component.cc
index bd016bd38..c932e019c 100644
--- a/repos/base-foc/src/core/irq_session_component.cc
+++ b/repos/base-foc/src/core/irq_session_component.cc
@@ -43,7 +43,7 @@ using namespace Genode;
 /**
  * Dispatches interrupts from kernel
  */
-class Genode::Interrupt_handler : public Thread<4096>
+class Genode::Interrupt_handler : public Thread<2048*sizeof(long)>
 {
 	private: