diff --git a/repos/os/src/init/child.cc b/repos/os/src/init/child.cc index ce3eeb0df0..540327d202 100644 --- a/repos/os/src/init/child.cc +++ b/repos/os/src/init/child.cc @@ -239,6 +239,10 @@ void Init::Child::_apply_resource_upgrade(QUOTA &assigned, QUOTA const configure void Init::Child::apply_upgrade() { + /* pd_session_cap of exited child is invalid and unusable for transfers */ + if (_exited) + return; + if (_resources.effective_ram_quota().value == 0) warning(name(), ": no valid RAM quota defined");