etisserant@203: lbessard@321: <xsd:element name="Xenomai"> etisserant@203: <xsd:complexType> etisserant@203: %(toolchain_gcc)s Edouard@615: <xsd:attribute name="XenoConfig" type="xsd:string" use="optional" default="xeno-config"/> etisserant@203: </xsd:complexType> Edouard@615: </xsd:element>