From 4871c7bba0e625730720f6f7a5eb0f733e6c1388 Mon Sep 17 00:00:00 2001 From: Norman Feske Date: Fri, 27 Sep 2019 08:50:07 +0200 Subject: [PATCH] drivers/gpu/intel: reflect insuff. quota to client This patch prevents the driver from translating Insufficient_ram_quota and Insufficient_cap_quota exceptions to Service_denied exceptions at session-creation time. This enables the client to respond to such a condition by retrying the session creation with increased session quota. --- repos/os/src/drivers/gpu/intel/main.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/repos/os/src/drivers/gpu/intel/main.cc b/repos/os/src/drivers/gpu/intel/main.cc index ad272cefd..ed16e96ca 100644 --- a/repos/os/src/drivers/gpu/intel/main.cc +++ b/repos/os/src/drivers/gpu/intel/main.cc @@ -1733,7 +1733,7 @@ class Gpu::Root : public Gpu::Root_component session_diag_from_args(args), _env.rm(), *md_alloc(), ram_quota, *_device); - } catch (...) { throw Genode::Service_denied(); } + } catch (...) { throw; } } void _upgrade_session(Session_component *s, char const *args) override