denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 20:42:56 +01:00
Code Issues Packages Projects Releases Wiki Activity

Spend min. 4K on platform session upgrade for DMA buffer

Browse Source 
Issue #4792
This commit is contained in:
Christian Helmuth
2023-03-22 14:58:51 +01:00
parent 6a80b4bd17
commit 7c84d73d67
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
repos/os/include/platform_session/connection.h
View File

@@ -113,7 +113,7 @@ class Platform::Connection : public Genode::Connection<Session>,
Ram_dataspace_capability alloc_dma_buffer(size_t size, Cache cache) override
{
return retry_with_upgrade(Ram_quota{size}, Cap_quota{2}, [&] () {
return retry_with_upgrade(Ram_quota{max((size_t)4096, size)}, Cap_quota{2}, [&] () {
return Client::alloc_dma_buffer(size, cache); });
}