diff --git a/repos/base-hw/src/core/include/signal_root.h b/repos/base-hw/src/core/include/signal_root.h index e9f948224..f79053988 100644 --- a/repos/base-hw/src/core/include/signal_root.h +++ b/repos/base-hw/src/core/include/signal_root.h @@ -30,7 +30,7 @@ namespace Genode */ class Signal_handler { - enum { STACK_SIZE = 4096 }; + enum { STACK_SIZE = 1024 * sizeof(addr_t) }; Rpc_entrypoint _entrypoint;