diff -r 5b925a1d8fed -r fcdb60cacb2c targets/Xenomai/__init__.py
--- a/targets/Xenomai/__init__.py	Wed Nov 16 17:12:16 2011 +0100
+++ b/targets/Xenomai/__init__.py	Wed Nov 16 17:47:13 2011 +0100
@@ -21,5 +21,5 @@
 
     def getBuilderCFLAGS(self):
         xeno_cflags = self.getXenoConfig("cflags")
-        return toolchain_gcc.getBuilderCFLAGS(self) + xeno_cflags
+        return toolchain_gcc.getBuilderCFLAGS(self) + xeno_cflags + ["-fPIC"]