diff -r cd81a7a6e55c -r cb9901076a21 targets/Rtai/XSD --- /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