author | etisserant |
Wed, 20 Aug 2008 00:11:40 +0200 | |
changeset 203 | cb9901076a21 |
child 204 | f572ab819769 |
permissions | -rwxr-xr-x |
<xsd:element name="Xenomai"> <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="xeno_config" type="xsd:string" use="optional" default="/usr/xenomai/"/> </xsd:complexType> </xsd:element>