mirror of
https://github.com/genodelabs/genode.git
synced 2025-06-19 07:38:28 +00:00
if session can't be closed immediately, e.g. if the service is provided by a child (cpu_balancer) and not by the parent. Issue #4029
This directory contains all source codes.