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); } }