diff --git a/repos/os/include/platform_session/connection.h b/repos/os/include/platform_session/connection.h index 4472673a50..ef651d4cb3 100644 --- a/repos/os/include/platform_session/connection.h +++ b/repos/os/include/platform_session/connection.h @@ -72,7 +72,7 @@ class Platform::Connection : public Genode::Connection, Connection(Env &env) : - Genode::Connection(env, Label(), Ram_quota { 56*1024 }, Args()), + Genode::Connection(env, Label(), Ram_quota { 84*1024 }, Args()), Client(cap()), _env(env) { @@ -98,7 +98,7 @@ class Platform::Connection : public Genode::Connection, Capability acquire_device(Device_name const &name) override { return _wait_for_device([&] () { - return retry_with_upgrade(Ram_quota{6*1024}, Cap_quota{6}, [&] () { + return retry_with_upgrade(Ram_quota{20*1024}, Cap_quota{6}, [&] () { return Client::acquire_device(name); }); }); } @@ -106,7 +106,7 @@ class Platform::Connection : public Genode::Connection, Capability acquire_device() { return _wait_for_device([&] () { - return retry_with_upgrade(Ram_quota{6*1024}, Cap_quota{6}, [&] () { + return retry_with_upgrade(Ram_quota{20*1024}, Cap_quota{6}, [&] () { return Client::acquire_single_device(); }); }); } diff --git a/repos/os/include/platform_session/platform_session.h b/repos/os/include/platform_session/platform_session.h index a3bb66b917..1730dddf85 100644 --- a/repos/os/include/platform_session/platform_session.h +++ b/repos/os/include/platform_session/platform_session.h @@ -57,7 +57,7 @@ struct Platform::Session : Genode::Session */ static const char *service_name() { return "Platform"; } - static constexpr unsigned CAP_QUOTA = 6; + static constexpr unsigned CAP_QUOTA = 18; virtual ~Session() { }