diff -r cd81a7a6e55c -r cb9901076a21 targets/Linux/XSD
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/targets/Linux/XSD	Wed Aug 20 00:11:40 2008 +0200
@@ -0,0 +1,13 @@
+
+                  <xsd:element name="Linux">
+                    <xsd:complexType>
+                      <xsd:sequence>
+                        <xsd:element name="Connection">
+                          <xsd:complexType>
+                            <xsd:attribute name="URI_location" type="xsd:string" use="optional" default=""/>
+                          </xsd:complexType>
+                        </xsd:element>
+                      </xsd:sequence>
+                      %(toolchain_gcc)s
+                    </xsd:complexType>
+                  </xsd:element>
\ No newline at end of file