From 43ef9b5a3a0c373bd190d485cd223c783311d2bb Mon Sep 17 00:00:00 2001 From: Stefan Kalkowski Date: Tue, 2 Nov 2021 11:46:13 +0100 Subject: [PATCH] platform_drv: do not account IOMEM as ram quota Accidentally, the size of IOMEM dataspace got accounted within the implementation of the platform driver for ARM. Instead we should only account a bit for the metadata and paging of the I/O memory. Fix #4307 --- repos/os/src/drivers/platform/spec/arm/device.cc | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/repos/os/src/drivers/platform/spec/arm/device.cc b/repos/os/src/drivers/platform/spec/arm/device.cc index bca09a313e..1165eebb7f 100644 --- a/repos/os/src/drivers/platform/spec/arm/device.cc +++ b/repos/os/src/drivers/platform/spec/arm/device.cc @@ -161,8 +161,8 @@ Genode::size_t Driver::Device::_cap_quota_required() Genode::size_t Driver::Device::_ram_quota_required() { size_t total = 0; - _io_mem_list.for_each([&] (Io_mem & io_mem) { - total += io_mem.size + 2*1024; }); + _io_mem_list.for_each([&] (Io_mem &) { + total += 4096; }); return total; }