diff --git a/repos/base-foc/src/include/base/internal/child_policy.h b/repos/base-foc/src/include/base/internal/child_policy.h index cdaf5125fa..0f786c2a90 100644 --- a/repos/base-foc/src/include/base/internal/child_policy.h +++ b/repos/base-foc/src/include/base/internal/child_policy.h @@ -24,7 +24,7 @@ namespace Genode { * * See https://github.com/genodelabs/genode/issues/2659 */ - constexpr bool KERNEL_SUPPORTS_EAGER_CHILD_DESTRUCTION = false; + constexpr bool KERNEL_SUPPORTS_EAGER_CHILD_DESTRUCTION = true; } #endif /* _INCLUDE__BASE__INTERNAL__CHILD_POLICY_H_ */ diff --git a/repos/base-pistachio/src/include/base/internal/child_policy.h b/repos/base-pistachio/src/include/base/internal/child_policy.h index 98b674bf4e..aecb1b4a1a 100644 --- a/repos/base-pistachio/src/include/base/internal/child_policy.h +++ b/repos/base-pistachio/src/include/base/internal/child_policy.h @@ -25,7 +25,7 @@ namespace Genode { * See https://github.com/genodelabs/genode/issues/2659 for a discussion * of a related problem. */ - constexpr bool KERNEL_SUPPORTS_EAGER_CHILD_DESTRUCTION = false; + constexpr bool KERNEL_SUPPORTS_EAGER_CHILD_DESTRUCTION = true; } #endif /* _INCLUDE__BASE__INTERNAL__CHILD_POLICY_H_ */