mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-26 06:09:25 +00:00
f3d4ee4d4c
Without this patch, a version change of an already exited child would not trigger the restart of the child because the version is evaluated as late as the child configuration, but only if the child has not exited yet. This patch evaluates the version at the earlier stage where the identity of the child (its name) is checked against the new configuration. Fixes #3226
This source-code repository contains genuine low-level OS components and interfaces of Genode. It solely depends on the framework's base API.