+ diff -u xenomai-2.3.2/src/skins/posix/wrappers.c.ORIG xenomai-2.3.2/src/skins/posix/wrappers.c
--- xenomai-2.3.2/src/skins/posix/wrappers.c.ORIG	2006-12-26 19:39:00.000000000 +0100
+++ xenomai-2.3.2/src/skins/posix/wrappers.c	2007-12-12 11:41:54.000000000 +0100
@@ -44,6 +44,11 @@
 	return pthread_getschedparam(thread, policy, param);
 }
 
+int __real_pthread_kill(pthread_t thread, int sig)
+{
+	return pthread_kill(thread, sig);
+}
+
 int __real_sched_yield(void)
 {
 	return sched_yield();