--- a/targets/Rtai/XSD	Fri Nov 18 23:54:03 2011 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,7 +0,0 @@
-
-                  <xsd:element name="Rtai">
-                    <xsd:complexType>
-                      %(toolchain_gcc)s
-                      <xsd:attribute name="rtai_config" type="xsd:string" use="optional" default="/usr/realtime/"/>
-                    </xsd:complexType>
-                  </xsd:element>
\ No newline at end of file