From 05c3cc93d17802320861737fa796b955da947bdf Mon Sep 17 00:00:00 2001 From: Michael Mueller Date: Mon, 28 Jul 2025 16:02:36 +0200 Subject: [PATCH] hoitaja: Redistribute freed CPU cores among remaining cells when a cell is destroyed. --- repos/ealanos/src/lib/sandbox/library.cc | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/repos/ealanos/src/lib/sandbox/library.cc b/repos/ealanos/src/lib/sandbox/library.cc index 82fd17d983..dcb7652db6 100644 --- a/repos/ealanos/src/lib/sandbox/library.cc +++ b/repos/ealanos/src/lib/sandbox/library.cc @@ -413,8 +413,9 @@ void Genode::Sandbox::Library::_remove_leftovers(Child &child) /* replenish available CPU quota */ _avail_cpu.percent += child_cpu_quota.percent; - _transferred_cpu.percent -= min(_transferred_cpu.percent, - child_cpu_quota.percent); + _transferred_cpu.percent -= min(_transferred_cpu.percent, child_cpu_quota.percent); + + maintain_cells(); } void Genode::Sandbox::Library::_groom()