* [Xenomai] [PATCH] ipipe: Re-fix migration helper for legacy users
@ 2013-01-16 19:17 Jan Kiszka
2013-01-16 19:53 ` Gilles Chanteperdrix
` (2 more replies)
0 siblings, 3 replies; 10+ messages in thread
From: Jan Kiszka @ 2013-01-16 19:17 UTC (permalink / raw)
To: Philippe Gerum; +Cc: Xenomai
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 <jan.kiszka@siemens.com>
---
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
--
1.7.3.4
^ permalink raw reply related [flat|nested] 10+ messages in thread* Re: [Xenomai] [PATCH] ipipe: Re-fix migration helper for legacy users 2013-01-16 19:17 [Xenomai] [PATCH] ipipe: Re-fix migration helper for legacy users Jan Kiszka @ 2013-01-16 19:53 ` Gilles Chanteperdrix 2013-01-16 20:09 ` Jan Kiszka 2013-01-17 8:26 ` Philippe Gerum 2013-01-17 8:28 ` Philippe Gerum 2 siblings, 1 reply; 10+ messages in thread From: Gilles Chanteperdrix @ 2013-01-16 19:53 UTC (permalink / raw) To: Jan Kiszka; +Cc: Xenomai 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 <jan.kiszka@siemens.com> > --- > > 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. ^ permalink raw reply [flat|nested] 10+ messages in thread
* Re: [Xenomai] [PATCH] ipipe: Re-fix migration helper for legacy users 2013-01-16 19:53 ` Gilles Chanteperdrix @ 2013-01-16 20:09 ` Jan Kiszka 0 siblings, 0 replies; 10+ messages in thread From: Jan Kiszka @ 2013-01-16 20:09 UTC (permalink / raw) To: Gilles Chanteperdrix; +Cc: Xenomai On 2013-01-16 20:53, Gilles Chanteperdrix wrote: > 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 <jan.kiszka@siemens.com> >> --- >> >> 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 > That's equivalent after the new patch (there are two versions of complete_domain_migration now). Jan -- Siemens AG, Corporate Technology, CT RTC ITP SDP-DE Corporate Competence Center Embedded Linux ^ permalink raw reply [flat|nested] 10+ messages in thread
* Re: [Xenomai] [PATCH] ipipe: Re-fix migration helper for legacy users 2013-01-16 19:17 [Xenomai] [PATCH] ipipe: Re-fix migration helper for legacy users Jan Kiszka 2013-01-16 19:53 ` Gilles Chanteperdrix @ 2013-01-17 8:26 ` Philippe Gerum 2013-01-17 8:34 ` Jan Kiszka 2013-01-17 8:28 ` Philippe Gerum 2 siblings, 1 reply; 10+ messages in thread From: Philippe Gerum @ 2013-01-17 8:26 UTC (permalink / raw) To: Jan Kiszka; +Cc: Xenomai 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 <jan.kiszka@siemens.com> > --- > > 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 > The analysis is right. I already fixed this bug in the 3.5 branch, we are missing a forward port to 3.5.7. http://git.denx.de/?p=ipipe-2.6.git;a=commit;h=8b11dc5fee73842a24ec4367b57aaa2dcdd67225 -- Philippe. ^ permalink raw reply [flat|nested] 10+ messages in thread
* Re: [Xenomai] [PATCH] ipipe: Re-fix migration helper for legacy users 2013-01-17 8:26 ` Philippe Gerum @ 2013-01-17 8:34 ` Jan Kiszka 2013-01-17 8:51 ` Philippe Gerum 0 siblings, 1 reply; 10+ messages in thread From: Jan Kiszka @ 2013-01-17 8:34 UTC (permalink / raw) To: Philippe Gerum; +Cc: Xenomai On 2013-01-17 09:26, Philippe Gerum wrote: > 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 <jan.kiszka@siemens.com> >> --- >> >> 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 >> > > The analysis is right. I already fixed this bug in the 3.5 branch, we > are missing a forward port to 3.5.7. > > http://git.denx.de/?p=ipipe-2.6.git;a=commit;h=8b11dc5fee73842a24ec4367b57aaa2dcdd67225 Would you push your new version? Jan -------------- next part -------------- A non-text attachment was scrubbed... Name: signature.asc Type: application/pgp-signature Size: 261 bytes Desc: OpenPGP digital signature URL: <http://www.xenomai.org/pipermail/xenomai/attachments/20130117/752d95bd/attachment.pgp> ^ permalink raw reply [flat|nested] 10+ messages in thread
* Re: [Xenomai] [PATCH] ipipe: Re-fix migration helper for legacy users 2013-01-17 8:34 ` Jan Kiszka @ 2013-01-17 8:51 ` Philippe Gerum 2013-01-17 9:12 ` Philippe Gerum 0 siblings, 1 reply; 10+ messages in thread From: Philippe Gerum @ 2013-01-17 8:51 UTC (permalink / raw) To: Jan Kiszka; +Cc: Xenomai On 01/17/2013 09:34 AM, Jan Kiszka wrote: > On 2013-01-17 09:26, Philippe Gerum wrote: >> 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 <jan.kiszka@siemens.com> >>> --- >>> >>> 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 >>> >> >> The analysis is right. I already fixed this bug in the 3.5 branch, we >> are missing a forward port to 3.5.7. >> >> http://git.denx.de/?p=ipipe-2.6.git;a=commit;h=8b11dc5fee73842a24ec4367b57aaa2dcdd67225 > > Would you push your new version? > > Jan These patches introduced between core-3.5-2 and core-3.5-3 were not propagated to core-3.5.7. They are on their way now. ba77ad1 powerpc/ipipe: prevent spurious hw IRQ enabling in activate_mm() 8b11dc5 ipipe: fix domain migration helper 1f0d763 x86_64/ipipe: introduce ipipe_clock_name() -- Philippe. ^ permalink raw reply [flat|nested] 10+ messages in thread
* Re: [Xenomai] [PATCH] ipipe: Re-fix migration helper for legacy users 2013-01-17 8:51 ` Philippe Gerum @ 2013-01-17 9:12 ` Philippe Gerum 2013-01-17 9:14 ` Jan Kiszka 0 siblings, 1 reply; 10+ messages in thread From: Philippe Gerum @ 2013-01-17 9:12 UTC (permalink / raw) To: Jan Kiszka; +Cc: Xenomai On 01/17/2013 09:51 AM, Philippe Gerum wrote: > On 01/17/2013 09:34 AM, Jan Kiszka wrote: >> On 2013-01-17 09:26, Philippe Gerum wrote: >>> 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 <jan.kiszka@siemens.com> >>>> --- >>>> >>>> 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 >>>> >>> >>> The analysis is right. I already fixed this bug in the 3.5 branch, we >>> are missing a forward port to 3.5.7. >>> >>> http://git.denx.de/?p=ipipe-2.6.git;a=commit;h=8b11dc5fee73842a24ec4367b57aaa2dcdd67225 >>> >> >> Would you push your new version? >> >> Jan > > These patches introduced between core-3.5-2 and core-3.5-3 were not > propagated to core-3.5.7. They are on their way now. > > ba77ad1 powerpc/ipipe: prevent spurious hw IRQ enabling in activate_mm() > 8b11dc5 ipipe: fix domain migration helper > 1f0d763 x86_64/ipipe: introduce ipipe_clock_name() > 8b11dc5 would reintroduce the issue you saw in legacy mode though. Fix on its way. -- Philippe. ^ permalink raw reply [flat|nested] 10+ messages in thread
* Re: [Xenomai] [PATCH] ipipe: Re-fix migration helper for legacy users 2013-01-17 9:12 ` Philippe Gerum @ 2013-01-17 9:14 ` Jan Kiszka 2013-01-17 9:19 ` Philippe Gerum 0 siblings, 1 reply; 10+ messages in thread From: Jan Kiszka @ 2013-01-17 9:14 UTC (permalink / raw) To: Philippe Gerum; +Cc: Xenomai On 2013-01-17 10:12, Philippe Gerum wrote: > On 01/17/2013 09:51 AM, Philippe Gerum wrote: >> On 01/17/2013 09:34 AM, Jan Kiszka wrote: >>> On 2013-01-17 09:26, Philippe Gerum wrote: >>>> 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 <jan.kiszka@siemens.com> >>>>> --- >>>>> >>>>> 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 >>>>> >>>> >>>> The analysis is right. I already fixed this bug in the 3.5 branch, we >>>> are missing a forward port to 3.5.7. >>>> >>>> http://git.denx.de/?p=ipipe-2.6.git;a=commit;h=8b11dc5fee73842a24ec4367b57aaa2dcdd67225 >>>> >>>> >>> >>> Would you push your new version? >>> >>> Jan >> >> These patches introduced between core-3.5-2 and core-3.5-3 were not >> propagated to core-3.5.7. They are on their way now. >> >> ba77ad1 powerpc/ipipe: prevent spurious hw IRQ enabling in activate_mm() >> 8b11dc5 ipipe: fix domain migration helper >> 1f0d763 x86_64/ipipe: introduce ipipe_clock_name() >> > > 8b11dc5 would reintroduce the issue you saw in legacy mode though. Fix > on its way. Not sure what you were looking at: 8b11dc5 is part of your public core-3.5 branch. I was rebasing over it, testing the result and found his bug. Jan -------------- next part -------------- A non-text attachment was scrubbed... Name: signature.asc Type: application/pgp-signature Size: 261 bytes Desc: OpenPGP digital signature URL: <http://www.xenomai.org/pipermail/xenomai/attachments/20130117/8c6c9e46/attachment.pgp> ^ permalink raw reply [flat|nested] 10+ messages in thread
* Re: [Xenomai] [PATCH] ipipe: Re-fix migration helper for legacy users 2013-01-17 9:14 ` Jan Kiszka @ 2013-01-17 9:19 ` Philippe Gerum 0 siblings, 0 replies; 10+ messages in thread From: Philippe Gerum @ 2013-01-17 9:19 UTC (permalink / raw) To: Jan Kiszka; +Cc: Xenomai On 01/17/2013 10:14 AM, Jan Kiszka wrote: > On 2013-01-17 10:12, Philippe Gerum wrote: >> On 01/17/2013 09:51 AM, Philippe Gerum wrote: >>> On 01/17/2013 09:34 AM, Jan Kiszka wrote: >>>> On 2013-01-17 09:26, Philippe Gerum wrote: >>>>> 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 <jan.kiszka@siemens.com> >>>>>> --- >>>>>> >>>>>> 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 >>>>>> >>>>> >>>>> The analysis is right. I already fixed this bug in the 3.5 branch, we >>>>> are missing a forward port to 3.5.7. >>>>> >>>>> http://git.denx.de/?p=ipipe-2.6.git;a=commit;h=8b11dc5fee73842a24ec4367b57aaa2dcdd67225 >>>>> >>>>> >>>> >>>> Would you push your new version? >>>> >>>> Jan >>> >>> These patches introduced between core-3.5-2 and core-3.5-3 were not >>> propagated to core-3.5.7. They are on their way now. >>> >>> ba77ad1 powerpc/ipipe: prevent spurious hw IRQ enabling in activate_mm() >>> 8b11dc5 ipipe: fix domain migration helper >>> 1f0d763 x86_64/ipipe: introduce ipipe_clock_name() >>> >> >> 8b11dc5 would reintroduce the issue you saw in legacy mode though. Fix >> on its way. > > Not sure what you were looking at: 8b11dc5 is part of your public > core-3.5 branch. I was rebasing over it, testing the result and found > his bug. > > Jan > We have two bugs in the migration handling in core-3.5.7: one preventing the hardening bit to be cleared in legacy mode when running over the head domain, the other allowing the migration hook to be fired over the head domain. The latter was fixed by 8b11dc5 in core-3.5, but we are missing that fix in core-3.5.7. However, that fix did not address the issue in legacy mode. The new patch has to cope with both legacy and non-legacy in this area, and made available to 3.2, 3.4, 3.5 and 3.5.7. -- Philippe. ^ permalink raw reply [flat|nested] 10+ messages in thread
* Re: [Xenomai] [PATCH] ipipe: Re-fix migration helper for legacy users 2013-01-16 19:17 [Xenomai] [PATCH] ipipe: Re-fix migration helper for legacy users Jan Kiszka 2013-01-16 19:53 ` Gilles Chanteperdrix 2013-01-17 8:26 ` Philippe Gerum @ 2013-01-17 8:28 ` Philippe Gerum 2 siblings, 0 replies; 10+ messages in thread From: Philippe Gerum @ 2013-01-17 8:28 UTC (permalink / raw) To: Jan Kiszka; +Cc: Xenomai 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 <jan.kiszka@siemens.com> > --- > > 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 > We need this in the non-legacy case as well. Otherwise, a gatekeeper-less system like the one we use in 3.x would spuriously run the migration hook over the head domain. -- Philippe. ^ permalink raw reply [flat|nested] 10+ messages in thread
end of thread, other threads:[~2013-01-17 9:19 UTC | newest] Thread overview: 10+ messages (download: mbox.gz follow: Atom feed -- links below jump to the message on this page -- 2013-01-16 19:17 [Xenomai] [PATCH] ipipe: Re-fix migration helper for legacy users Jan Kiszka 2013-01-16 19:53 ` Gilles Chanteperdrix 2013-01-16 20:09 ` Jan Kiszka 2013-01-17 8:26 ` Philippe Gerum 2013-01-17 8:34 ` Jan Kiszka 2013-01-17 8:51 ` Philippe Gerum 2013-01-17 9:12 ` Philippe Gerum 2013-01-17 9:14 ` Jan Kiszka 2013-01-17 9:19 ` Philippe Gerum 2013-01-17 8:28 ` Philippe Gerum
This is an external index of several public inboxes, see mirroring instructions on how to clone and mirror all data and code used by this external index.