[Xenomai-git] Gilles Chanteperdrix : cobalt/fpu: remove xnarch_init_fpu, it is no longer used

2013-11-05 Thread git repository hosting 
Module: xenomai-forge
Branch: next
Commit: 1fabad0a4f7aed28a82cbd4c2794ec7eff52078e
URL:
http://git.xenomai.org/?p=xenomai-forge.git;a=commit;h=1fabad0a4f7aed28a82cbd4c2794ec7eff52078e

Author: Gilles Chanteperdrix 
Date:   Fri Oct 25 12:57:22 2013 +0200

cobalt/fpu: remove xnarch_init_fpu, it is no longer used

---

 kernel/cobalt/arch/arm/thread.c |   30 --
 kernel/cobalt/arch/powerpc/thread.c |9 -
 kernel/cobalt/arch/sh/thread.c  |   14 --
 3 files changed, 53 deletions(-)

diff --git a/kernel/cobalt/arch/arm/thread.c b/kernel/cobalt/arch/arm/thread.c
index 2703352..8e43f72 100644
--- a/kernel/cobalt/arch/arm/thread.c
+++ b/kernel/cobalt/arch/arm/thread.c
@@ -33,20 +33,6 @@ asmlinkage void __asm_thread_trampoline(void);
 
 #ifdef CONFIG_XENO_HW_FPU
 
-static inline void do_init_fpu(struct arm_fpustate *fpuenv)
-{
-   fp_init(&fpuenv->fpstate);
-#if defined(CONFIG_VFP)
-   /* vfpstate has already been zeroed by xnarch_init_fpu */
-   fpuenv->vfpstate.hard.fpexc = FPEXC_EN;
-   fpuenv->vfpstate.hard.fpscr = FPSCR_ROUND_NEAREST;
-#if (LINUX_VERSION_CODE >= KERNEL_VERSION(3, 2, 0) \
- || defined(CONFIG_VFP_3_2_BACKPORT)) && defined(CONFIG_SMP)
-   fpuenv->vfpstate.hard.cpu = NR_CPUS;
-#endif /* linux >= 3.2.0 */
-#endif
-}
-
 #define task_fpenv(task)   \
((struct arm_fpustate *) &task_thread_info(task)->used_cp[0])
 
@@ -336,22 +322,6 @@ void xnarch_enable_fpu(struct xnarchtcb *tcb)
 #endif /* CONFIG_XENO_HW_FPU */
 }
 
-void xnarch_init_fpu(struct xnarchtcb *tcb)
-{
-   /*
-* This must run on behalf of the thread we initialize the FPU
-* for.
-*/
-#ifdef CONFIG_XENO_HW_FPU
-   memset(&tcb->fpuenv, 0, sizeof(tcb->fpuenv));
-   do_init_fpu(&tcb->fpuenv);
-#ifdef CONFIG_VFP
-   do_enable_fpu();
-   do_restore_fpu(&tcb->fpuenv);
-#endif /* CONFIG_VFP */
-#endif /* CONFIG_XENO_HW_FPU */
-}
-
 void xnarch_save_fpu(struct xnarchtcb *tcb)
 {
 #ifdef CONFIG_XENO_HW_FPU
diff --git a/kernel/cobalt/arch/powerpc/thread.c 
b/kernel/cobalt/arch/powerpc/thread.c
index 1ee8c57..d6f2e74 100644
--- a/kernel/cobalt/arch/powerpc/thread.c
+++ b/kernel/cobalt/arch/powerpc/thread.c
@@ -115,15 +115,6 @@ asmlinkage void __asm_restore_fpu(struct thread_struct 
*ts);
 })
 #endif /* CONFIG_PPC64 */
 
-void xnarch_init_fpu(struct xnarchtcb *tcb)
-{
-   /*
-* This must run on behalf of the thread we initialize the FPU
-* for. All FPU regs are guaranteed zero.
-*/
-   __asm_init_fpu(&tcb->core.ts);
-}
-
 void xnarch_enable_fpu(struct xnarchtcb *tcb)
 {
struct task_struct *task = tcb->core.host_task;
diff --git a/kernel/cobalt/arch/sh/thread.c b/kernel/cobalt/arch/sh/thread.c
index 5ef75d3..e4d8414 100644
--- a/kernel/cobalt/arch/sh/thread.c
+++ b/kernel/cobalt/arch/sh/thread.c
@@ -226,20 +226,6 @@ static inline void do_restore_fpu(struct thread_struct *ts)
  :"memory");
 }
 
-static inline void do_init_fpu(struct thread_struct *ts)
-{
-   do_restore_fpu(ts);
-}
-
-void xnarch_init_fpu(struct xnarchtcb *tcb)
-{
-   /*
-* This must run on behalf of the thread we initialize the FPU
-* for. All FPU regs are guaranteed zero.
-*/
-   do_init_fpu(&tcb->core.ts);
-}
-
 inline void xnarch_enable_fpu(struct xnarchtcb *tcb)
 {
struct task_struct *task = tcb->core.host_task;


___
Xenomai-git mailing list
Xenomai-git@xenomai.org
http://www.xenomai.org/mailman/listinfo/xenomai-git

[Xenomai-git] Gilles Chanteperdrix : cobalt/fpu: remove xnarch_init_fpu, it is no longer used

2013-11-05 Thread git repository hosting 
Module: xenomai-forge
Branch: master
Commit: 1fabad0a4f7aed28a82cbd4c2794ec7eff52078e
URL:
http://git.xenomai.org/?p=xenomai-forge.git;a=commit;h=1fabad0a4f7aed28a82cbd4c2794ec7eff52078e

Author: Gilles Chanteperdrix 
Date:   Fri Oct 25 12:57:22 2013 +0200

cobalt/fpu: remove xnarch_init_fpu, it is no longer used

---

 kernel/cobalt/arch/arm/thread.c |   30 --
 kernel/cobalt/arch/powerpc/thread.c |9 -
 kernel/cobalt/arch/sh/thread.c  |   14 --
 3 files changed, 53 deletions(-)

diff --git a/kernel/cobalt/arch/arm/thread.c b/kernel/cobalt/arch/arm/thread.c
index 2703352..8e43f72 100644
--- a/kernel/cobalt/arch/arm/thread.c
+++ b/kernel/cobalt/arch/arm/thread.c
@@ -33,20 +33,6 @@ asmlinkage void __asm_thread_trampoline(void);
 
 #ifdef CONFIG_XENO_HW_FPU
 
-static inline void do_init_fpu(struct arm_fpustate *fpuenv)
-{
-   fp_init(&fpuenv->fpstate);
-#if defined(CONFIG_VFP)
-   /* vfpstate has already been zeroed by xnarch_init_fpu */
-   fpuenv->vfpstate.hard.fpexc = FPEXC_EN;
-   fpuenv->vfpstate.hard.fpscr = FPSCR_ROUND_NEAREST;
-#if (LINUX_VERSION_CODE >= KERNEL_VERSION(3, 2, 0) \
- || defined(CONFIG_VFP_3_2_BACKPORT)) && defined(CONFIG_SMP)
-   fpuenv->vfpstate.hard.cpu = NR_CPUS;
-#endif /* linux >= 3.2.0 */
-#endif
-}
-
 #define task_fpenv(task)   \
((struct arm_fpustate *) &task_thread_info(task)->used_cp[0])
 
@@ -336,22 +322,6 @@ void xnarch_enable_fpu(struct xnarchtcb *tcb)
 #endif /* CONFIG_XENO_HW_FPU */
 }
 
-void xnarch_init_fpu(struct xnarchtcb *tcb)
-{
-   /*
-* This must run on behalf of the thread we initialize the FPU
-* for.
-*/
-#ifdef CONFIG_XENO_HW_FPU
-   memset(&tcb->fpuenv, 0, sizeof(tcb->fpuenv));
-   do_init_fpu(&tcb->fpuenv);
-#ifdef CONFIG_VFP
-   do_enable_fpu();
-   do_restore_fpu(&tcb->fpuenv);
-#endif /* CONFIG_VFP */
-#endif /* CONFIG_XENO_HW_FPU */
-}
-
 void xnarch_save_fpu(struct xnarchtcb *tcb)
 {
 #ifdef CONFIG_XENO_HW_FPU
diff --git a/kernel/cobalt/arch/powerpc/thread.c 
b/kernel/cobalt/arch/powerpc/thread.c
index 1ee8c57..d6f2e74 100644
--- a/kernel/cobalt/arch/powerpc/thread.c
+++ b/kernel/cobalt/arch/powerpc/thread.c
@@ -115,15 +115,6 @@ asmlinkage void __asm_restore_fpu(struct thread_struct 
*ts);
 })
 #endif /* CONFIG_PPC64 */
 
-void xnarch_init_fpu(struct xnarchtcb *tcb)
-{
-   /*
-* This must run on behalf of the thread we initialize the FPU
-* for. All FPU regs are guaranteed zero.
-*/
-   __asm_init_fpu(&tcb->core.ts);
-}
-
 void xnarch_enable_fpu(struct xnarchtcb *tcb)
 {
struct task_struct *task = tcb->core.host_task;
diff --git a/kernel/cobalt/arch/sh/thread.c b/kernel/cobalt/arch/sh/thread.c
index 5ef75d3..e4d8414 100644
--- a/kernel/cobalt/arch/sh/thread.c
+++ b/kernel/cobalt/arch/sh/thread.c
@@ -226,20 +226,6 @@ static inline void do_restore_fpu(struct thread_struct *ts)
  :"memory");
 }
 
-static inline void do_init_fpu(struct thread_struct *ts)
-{
-   do_restore_fpu(ts);
-}
-
-void xnarch_init_fpu(struct xnarchtcb *tcb)
-{
-   /*
-* This must run on behalf of the thread we initialize the FPU
-* for. All FPU regs are guaranteed zero.
-*/
-   do_init_fpu(&tcb->core.ts);
-}
-
 inline void xnarch_enable_fpu(struct xnarchtcb *tcb)
 {
struct task_struct *task = tcb->core.host_task;


___
Xenomai-git mailing list
Xenomai-git@xenomai.org
http://www.xenomai.org/mailman/listinfo/xenomai-git

[Xenomai-git] Gilles Chanteperdrix : cobalt/fpu: remove xnarch_init_fpu, it is no longer used

2013-11-05 Thread git repository hosting 
Module: xenomai-gch
Branch: for-forge
Commit: 1fabad0a4f7aed28a82cbd4c2794ec7eff52078e
URL:
http://git.xenomai.org/?p=xenomai-gch.git;a=commit;h=1fabad0a4f7aed28a82cbd4c2794ec7eff52078e

Author: Gilles Chanteperdrix 
Date:   Fri Oct 25 12:57:22 2013 +0200

cobalt/fpu: remove xnarch_init_fpu, it is no longer used

---

 kernel/cobalt/arch/arm/thread.c |   30 --
 kernel/cobalt/arch/powerpc/thread.c |9 -
 kernel/cobalt/arch/sh/thread.c  |   14 --
 3 files changed, 53 deletions(-)

diff --git a/kernel/cobalt/arch/arm/thread.c b/kernel/cobalt/arch/arm/thread.c
index 2703352..8e43f72 100644
--- a/kernel/cobalt/arch/arm/thread.c
+++ b/kernel/cobalt/arch/arm/thread.c
@@ -33,20 +33,6 @@ asmlinkage void __asm_thread_trampoline(void);
 
 #ifdef CONFIG_XENO_HW_FPU
 
-static inline void do_init_fpu(struct arm_fpustate *fpuenv)
-{
-   fp_init(&fpuenv->fpstate);
-#if defined(CONFIG_VFP)
-   /* vfpstate has already been zeroed by xnarch_init_fpu */
-   fpuenv->vfpstate.hard.fpexc = FPEXC_EN;
-   fpuenv->vfpstate.hard.fpscr = FPSCR_ROUND_NEAREST;
-#if (LINUX_VERSION_CODE >= KERNEL_VERSION(3, 2, 0) \
- || defined(CONFIG_VFP_3_2_BACKPORT)) && defined(CONFIG_SMP)
-   fpuenv->vfpstate.hard.cpu = NR_CPUS;
-#endif /* linux >= 3.2.0 */
-#endif
-}
-
 #define task_fpenv(task)   \
((struct arm_fpustate *) &task_thread_info(task)->used_cp[0])
 
@@ -336,22 +322,6 @@ void xnarch_enable_fpu(struct xnarchtcb *tcb)
 #endif /* CONFIG_XENO_HW_FPU */
 }
 
-void xnarch_init_fpu(struct xnarchtcb *tcb)
-{
-   /*
-* This must run on behalf of the thread we initialize the FPU
-* for.
-*/
-#ifdef CONFIG_XENO_HW_FPU
-   memset(&tcb->fpuenv, 0, sizeof(tcb->fpuenv));
-   do_init_fpu(&tcb->fpuenv);
-#ifdef CONFIG_VFP
-   do_enable_fpu();
-   do_restore_fpu(&tcb->fpuenv);
-#endif /* CONFIG_VFP */
-#endif /* CONFIG_XENO_HW_FPU */
-}
-
 void xnarch_save_fpu(struct xnarchtcb *tcb)
 {
 #ifdef CONFIG_XENO_HW_FPU
diff --git a/kernel/cobalt/arch/powerpc/thread.c 
b/kernel/cobalt/arch/powerpc/thread.c
index 1ee8c57..d6f2e74 100644
--- a/kernel/cobalt/arch/powerpc/thread.c
+++ b/kernel/cobalt/arch/powerpc/thread.c
@@ -115,15 +115,6 @@ asmlinkage void __asm_restore_fpu(struct thread_struct 
*ts);
 })
 #endif /* CONFIG_PPC64 */
 
-void xnarch_init_fpu(struct xnarchtcb *tcb)
-{
-   /*
-* This must run on behalf of the thread we initialize the FPU
-* for. All FPU regs are guaranteed zero.
-*/
-   __asm_init_fpu(&tcb->core.ts);
-}
-
 void xnarch_enable_fpu(struct xnarchtcb *tcb)
 {
struct task_struct *task = tcb->core.host_task;
diff --git a/kernel/cobalt/arch/sh/thread.c b/kernel/cobalt/arch/sh/thread.c
index 5ef75d3..e4d8414 100644
--- a/kernel/cobalt/arch/sh/thread.c
+++ b/kernel/cobalt/arch/sh/thread.c
@@ -226,20 +226,6 @@ static inline void do_restore_fpu(struct thread_struct *ts)
  :"memory");
 }
 
-static inline void do_init_fpu(struct thread_struct *ts)
-{
-   do_restore_fpu(ts);
-}
-
-void xnarch_init_fpu(struct xnarchtcb *tcb)
-{
-   /*
-* This must run on behalf of the thread we initialize the FPU
-* for. All FPU regs are guaranteed zero.
-*/
-   do_init_fpu(&tcb->core.ts);
-}
-
 inline void xnarch_enable_fpu(struct xnarchtcb *tcb)
 {
struct task_struct *task = tcb->core.host_task;


___
Xenomai-git mailing list
Xenomai-git@xenomai.org
http://www.xenomai.org/mailman/listinfo/xenomai-git

[Xenomai-git] Gilles Chanteperdrix : cobalt/fpu: remove xnarch_init_fpu, it is no longer used

2013-10-26 Thread git repository hosting 
Module: xenomai-gch
Branch: for-forge
Commit: 3c319c49b5411164ae00f16c34c92b0c2cc5db65
URL:
http://git.xenomai.org/?p=xenomai-gch.git;a=commit;h=3c319c49b5411164ae00f16c34c92b0c2cc5db65

Author: Gilles Chanteperdrix 
Date:   Fri Oct 25 12:57:22 2013 +0200

cobalt/fpu: remove xnarch_init_fpu, it is no longer used

---

 kernel/cobalt/arch/arm/thread.c |   30 --
 kernel/cobalt/arch/powerpc/thread.c |9 -
 kernel/cobalt/arch/sh/thread.c  |   14 --
 3 files changed, 53 deletions(-)

diff --git a/kernel/cobalt/arch/arm/thread.c b/kernel/cobalt/arch/arm/thread.c
index e29c607..a73eded 100644
--- a/kernel/cobalt/arch/arm/thread.c
+++ b/kernel/cobalt/arch/arm/thread.c
@@ -33,20 +33,6 @@ asmlinkage void __asm_thread_trampoline(void);
 
 #ifdef CONFIG_XENO_HW_FPU
 
-static inline void do_init_fpu(struct arm_fpustate *fpuenv)
-{
-   fp_init(&fpuenv->fpstate);
-#if defined(CONFIG_VFP)
-   /* vfpstate has already been zeroed by xnarch_init_fpu */
-   fpuenv->vfpstate.hard.fpexc = FPEXC_EN;
-   fpuenv->vfpstate.hard.fpscr = FPSCR_ROUND_NEAREST;
-#if (LINUX_VERSION_CODE >= KERNEL_VERSION(3, 2, 0) \
- || defined(CONFIG_VFP_3_2_BACKPORT)) && defined(CONFIG_SMP)
-   fpuenv->vfpstate.hard.cpu = NR_CPUS;
-#endif /* linux >= 3.2.0 */
-#endif
-}
-
 #define task_fpenv(task)   \
((struct arm_fpustate *) &task_thread_info(task)->used_cp[0])
 
@@ -341,22 +327,6 @@ void xnarch_enable_fpu(struct xnarchtcb *tcb)
 #endif /* CONFIG_XENO_HW_FPU */
 }
 
-void xnarch_init_fpu(struct xnarchtcb *tcb)
-{
-   /*
-* This must run on behalf of the thread we initialize the FPU
-* for.
-*/
-#ifdef CONFIG_XENO_HW_FPU
-   memset(&tcb->fpuenv, 0, sizeof(tcb->fpuenv));
-   do_init_fpu(&tcb->fpuenv);
-#ifdef CONFIG_VFP
-   do_enable_fpu();
-   do_restore_fpu(&tcb->fpuenv);
-#endif /* CONFIG_VFP */
-#endif /* CONFIG_XENO_HW_FPU */
-}
-
 void xnarch_save_fpu(struct xnarchtcb *tcb)
 {
 #ifdef CONFIG_XENO_HW_FPU
diff --git a/kernel/cobalt/arch/powerpc/thread.c 
b/kernel/cobalt/arch/powerpc/thread.c
index 1ee8c57..d6f2e74 100644
--- a/kernel/cobalt/arch/powerpc/thread.c
+++ b/kernel/cobalt/arch/powerpc/thread.c
@@ -115,15 +115,6 @@ asmlinkage void __asm_restore_fpu(struct thread_struct 
*ts);
 })
 #endif /* CONFIG_PPC64 */
 
-void xnarch_init_fpu(struct xnarchtcb *tcb)
-{
-   /*
-* This must run on behalf of the thread we initialize the FPU
-* for. All FPU regs are guaranteed zero.
-*/
-   __asm_init_fpu(&tcb->core.ts);
-}
-
 void xnarch_enable_fpu(struct xnarchtcb *tcb)
 {
struct task_struct *task = tcb->core.host_task;
diff --git a/kernel/cobalt/arch/sh/thread.c b/kernel/cobalt/arch/sh/thread.c
index 5ef75d3..e4d8414 100644
--- a/kernel/cobalt/arch/sh/thread.c
+++ b/kernel/cobalt/arch/sh/thread.c
@@ -226,20 +226,6 @@ static inline void do_restore_fpu(struct thread_struct *ts)
  :"memory");
 }
 
-static inline void do_init_fpu(struct thread_struct *ts)
-{
-   do_restore_fpu(ts);
-}
-
-void xnarch_init_fpu(struct xnarchtcb *tcb)
-{
-   /*
-* This must run on behalf of the thread we initialize the FPU
-* for. All FPU regs are guaranteed zero.
-*/
-   do_init_fpu(&tcb->core.ts);
-}
-
 inline void xnarch_enable_fpu(struct xnarchtcb *tcb)
 {
struct task_struct *task = tcb->core.host_task;


___
Xenomai-git mailing list
Xenomai-git@xenomai.org
http://www.xenomai.org/mailman/listinfo/xenomai-git

[Xenomai-git] Gilles Chanteperdrix : cobalt/fpu: remove xnarch_init_fpu, it is no longer used

2013-10-26 Thread git repository hosting 
Module: xenomai-gch
Branch: for-forge
Commit: 36e3eb707dfe8d381f011b2b0e2df1153bcbafc1
URL:
http://git.xenomai.org/?p=xenomai-gch.git;a=commit;h=36e3eb707dfe8d381f011b2b0e2df1153bcbafc1

Author: Gilles Chanteperdrix 
Date:   Fri Oct 25 12:57:22 2013 +0200

cobalt/fpu: remove xnarch_init_fpu, it is no longer used

---

 kernel/cobalt/arch/arm/thread.c |   30 --
 kernel/cobalt/arch/powerpc/thread.c |9 -
 kernel/cobalt/arch/sh/thread.c  |   14 --
 3 files changed, 53 deletions(-)

diff --git a/kernel/cobalt/arch/arm/thread.c b/kernel/cobalt/arch/arm/thread.c
index e29c607..a73eded 100644
--- a/kernel/cobalt/arch/arm/thread.c
+++ b/kernel/cobalt/arch/arm/thread.c
@@ -33,20 +33,6 @@ asmlinkage void __asm_thread_trampoline(void);
 
 #ifdef CONFIG_XENO_HW_FPU
 
-static inline void do_init_fpu(struct arm_fpustate *fpuenv)
-{
-   fp_init(&fpuenv->fpstate);
-#if defined(CONFIG_VFP)
-   /* vfpstate has already been zeroed by xnarch_init_fpu */
-   fpuenv->vfpstate.hard.fpexc = FPEXC_EN;
-   fpuenv->vfpstate.hard.fpscr = FPSCR_ROUND_NEAREST;
-#if (LINUX_VERSION_CODE >= KERNEL_VERSION(3, 2, 0) \
- || defined(CONFIG_VFP_3_2_BACKPORT)) && defined(CONFIG_SMP)
-   fpuenv->vfpstate.hard.cpu = NR_CPUS;
-#endif /* linux >= 3.2.0 */
-#endif
-}
-
 #define task_fpenv(task)   \
((struct arm_fpustate *) &task_thread_info(task)->used_cp[0])
 
@@ -341,22 +327,6 @@ void xnarch_enable_fpu(struct xnarchtcb *tcb)
 #endif /* CONFIG_XENO_HW_FPU */
 }
 
-void xnarch_init_fpu(struct xnarchtcb *tcb)
-{
-   /*
-* This must run on behalf of the thread we initialize the FPU
-* for.
-*/
-#ifdef CONFIG_XENO_HW_FPU
-   memset(&tcb->fpuenv, 0, sizeof(tcb->fpuenv));
-   do_init_fpu(&tcb->fpuenv);
-#ifdef CONFIG_VFP
-   do_enable_fpu();
-   do_restore_fpu(&tcb->fpuenv);
-#endif /* CONFIG_VFP */
-#endif /* CONFIG_XENO_HW_FPU */
-}
-
 void xnarch_save_fpu(struct xnarchtcb *tcb)
 {
 #ifdef CONFIG_XENO_HW_FPU
diff --git a/kernel/cobalt/arch/powerpc/thread.c 
b/kernel/cobalt/arch/powerpc/thread.c
index 1ee8c57..d6f2e74 100644
--- a/kernel/cobalt/arch/powerpc/thread.c
+++ b/kernel/cobalt/arch/powerpc/thread.c
@@ -115,15 +115,6 @@ asmlinkage void __asm_restore_fpu(struct thread_struct 
*ts);
 })
 #endif /* CONFIG_PPC64 */
 
-void xnarch_init_fpu(struct xnarchtcb *tcb)
-{
-   /*
-* This must run on behalf of the thread we initialize the FPU
-* for. All FPU regs are guaranteed zero.
-*/
-   __asm_init_fpu(&tcb->core.ts);
-}
-
 void xnarch_enable_fpu(struct xnarchtcb *tcb)
 {
struct task_struct *task = tcb->core.host_task;
diff --git a/kernel/cobalt/arch/sh/thread.c b/kernel/cobalt/arch/sh/thread.c
index 5ef75d3..e4d8414 100644
--- a/kernel/cobalt/arch/sh/thread.c
+++ b/kernel/cobalt/arch/sh/thread.c
@@ -226,20 +226,6 @@ static inline void do_restore_fpu(struct thread_struct *ts)
  :"memory");
 }
 
-static inline void do_init_fpu(struct thread_struct *ts)
-{
-   do_restore_fpu(ts);
-}
-
-void xnarch_init_fpu(struct xnarchtcb *tcb)
-{
-   /*
-* This must run on behalf of the thread we initialize the FPU
-* for. All FPU regs are guaranteed zero.
-*/
-   do_init_fpu(&tcb->core.ts);
-}
-
 inline void xnarch_enable_fpu(struct xnarchtcb *tcb)
 {
struct task_struct *task = tcb->core.host_task;


___
Xenomai-git mailing list
Xenomai-git@xenomai.org
http://www.xenomai.org/mailman/listinfo/xenomai-git