ehmry/genode
ehmry
/
genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

ps2_drv: increase stack size (fix #2083)

This commit is contained in:
Stefan Kalkowski 2016-08-31 13:32:49 +02:00 committed by Christian Helmuth
parent 52c23239bc
commit 6caceeeea8
3 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
repos/os/src/drivers/input/dummy/main.cc
View File

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

2
repos/os/src/drivers/input/spec/ps2/pl050/main.cc
View File

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

2
repos/os/src/drivers/input/spec/ps2/x86/main.cc
View File

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