From 6caceeeea84a64257d445353a34b0dad79900f94 Mon Sep 17 00:00:00 2001 From: Stefan Kalkowski Date: Wed, 31 Aug 2016 13:32:49 +0200 Subject: [PATCH] ps2_drv: increase stack size (fix #2083) --- repos/os/src/drivers/input/dummy/main.cc | 2 +- repos/os/src/drivers/input/spec/ps2/pl050/main.cc | 2 +- repos/os/src/drivers/input/spec/ps2/x86/main.cc | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/repos/os/src/drivers/input/dummy/main.cc b/repos/os/src/drivers/input/dummy/main.cc index a1c5d498d1..731ad4ce18 100644 --- a/repos/os/src/drivers/input/dummy/main.cc +++ b/repos/os/src/drivers/input/dummy/main.cc @@ -99,6 +99,6 @@ struct Main namespace Server { char const *name() { return "input_drv_ep"; } - size_t stack_size() { return 1024*sizeof(long); } + size_t stack_size() { return 2048*sizeof(long); } void construct(Entrypoint &ep) { static Main server(ep); } } diff --git a/repos/os/src/drivers/input/spec/ps2/pl050/main.cc b/repos/os/src/drivers/input/spec/ps2/pl050/main.cc index f4e4f252fd..71ed94515b 100644 --- a/repos/os/src/drivers/input/spec/ps2/pl050/main.cc +++ b/repos/os/src/drivers/input/spec/ps2/pl050/main.cc @@ -70,6 +70,6 @@ struct Main namespace Server { char const *name() { return "ps2_drv_ep"; } - size_t stack_size() { return 1024*sizeof(long); } + size_t stack_size() { return 2048*sizeof(long); } void construct(Entrypoint &ep) { static Main server(ep); } } diff --git a/repos/os/src/drivers/input/spec/ps2/x86/main.cc b/repos/os/src/drivers/input/spec/ps2/x86/main.cc index 2be0586f4b..a093e1dd07 100644 --- a/repos/os/src/drivers/input/spec/ps2/x86/main.cc +++ b/repos/os/src/drivers/input/spec/ps2/x86/main.cc @@ -81,6 +81,6 @@ struct Main namespace Server { char const *name() { return "ps2_drv_ep"; } - size_t stack_size() { return 1024*sizeof(long); } + size_t stack_size() { return 2048*sizeof(long); } void construct(Entrypoint &ep) { static Main server(ep); } }