diff -r eed1dcf311a1 -r 72bc3e53a1fa targets/Xenomai/XSD
--- a/targets/Xenomai/XSD	Thu Sep 22 17:33:34 2011 +0200
+++ b/targets/Xenomai/XSD	Thu Sep 22 17:35:29 2011 +0200
@@ -2,6 +2,6 @@
                   <xsd:element name="Xenomai">
                     <xsd:complexType>
                       %(toolchain_gcc)s
-                      <xsd:attribute name="XenoConfig" type="xsd:string" use="optional" default="/usr/xenomai/bin/xeno-config"/>
+                      <xsd:attribute name="XenoConfig" type="xsd:string" use="optional" default="xeno-config"/>
                     </xsd:complexType>
-                  </xsd:element>
\ No newline at end of file
+                  </xsd:element>