diff --git a/repos/os/src/drivers/platform/session_component.cc b/repos/os/src/drivers/platform/session_component.cc index 5931f7293e..cefc1ad5da 100644 --- a/repos/os/src/drivers/platform/session_component.cc +++ b/repos/os/src/drivers/platform/session_component.cc @@ -177,7 +177,11 @@ void Session_component::release_device(Capability de Genode::Ram_dataspace_capability Session_component::alloc_dma_buffer(size_t const size, Cache cache) { - Ram_dataspace_capability ram_cap = _env_ram.alloc(size, cache); + Ram_dataspace_capability ram_cap { }; + + try { + ram_cap = _env_ram.alloc(size, cache); + } catch (Ram_allocator::Denied) { } if (!ram_cap.valid()) return ram_cap;