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