On 01/16/2013 08:17 PM, Jan Kiszka wrote:

> In the legacy use case, __ipipe_switch_tail will be invoked over the
> non-root domain after hardening. So clearing of TASK_HARDENING must not
> be restricted to root.
> 
> Signed-off-by: Jan Kiszka <[email protected]>
> ---
> 
> For the case my analysis was right. With this, Xenomai 2.6 works again
> here.
> 
>  kernel/ipipe/core.c |    2 ++
>  1 files changed, 2 insertions(+), 0 deletions(-)
> 
> diff --git a/kernel/ipipe/core.c b/kernel/ipipe/core.c
> index 6929156..4695ba8 100644
> --- a/kernel/ipipe/core.c
> +++ b/kernel/ipipe/core.c
> @@ -1124,7 +1124,9 @@ int __ipipe_switch_tail(void)
>       hard_local_irq_disable();
>  #endif
>       x = __ipipe_root_p;
> +#ifndef CONFIG_IPIPE_LEGACY
>       if (x)
> +#endif
>               complete_domain_migration();
>  
>  #ifndef CONFIG_IPIPE_WANT_PREEMPTIBLE_SWITCH


Mmm, from the old patch it seems complete_domain_migration should not be
called for legacy, so, what we would like instead is:

#ifdef CONFIG_IPIPE_LEGACY
        current->state &= ~TASK_HARDENING;
#else
        if (x)
                complete_domain_migration();
#endif

-- 
                                                                Gilles.

_______________________________________________
Xenomai mailing list
[email protected]
http://www.xenomai.org/mailman/listinfo/xenomai

Reply via email to