From 718b0c0b672b566d436af6bc4d7a729bb28b425e Mon Sep 17 00:00:00 2001 From: Norman Feske Date: Sat, 28 Dec 2013 15:57:15 +0100 Subject: [PATCH] d3m: quota adjustment for ps2 driver --- gems/src/server/d3m/main.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gems/src/server/d3m/main.cc b/gems/src/server/d3m/main.cc index 31c5b4bff..a4790e5c4 100644 --- a/gems/src/server/d3m/main.cc +++ b/gems/src/server/d3m/main.cc @@ -265,7 +265,7 @@ int main(int argc, char **argv) /* create PS/2 driver */ static Rpc_entrypoint ps2_ep(&cap, STACK_SIZE, "ps2_slave"); static Ps2_policy ps2_policy(ps2_ep, input_source_registry); - static Genode::Slave ps2_slave(ps2_ep, ps2_policy, 512*1024); + static Genode::Slave ps2_slave(ps2_ep, ps2_policy, 768*1024); /* create USB driver */ char const *config = "";