targets/Rtai/XSD
changeset 203 cb9901076a21
child 204 f572ab819769
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/targets/Rtai/XSD	Wed Aug 20 00:11:40 2008 +0200
@@ -0,0 +1,14 @@
+
+                  <xsd:element name="Rtai">
+                    <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:attribute name="rtai_config" type="xsd:string" use="optional" default="/usr/realtime/"/>
+                    </xsd:complexType>
+                  </xsd:element>
\ No newline at end of file