1 

     2                   <xsd:element name="Rtai">

     3                     <xsd:complexType>

     4                       %(toolchain_gcc)s

     5                       <xsd:attribute name="rtai_config" type="xsd:string" use="optional" default="/usr/realtime/"/>

     6                     </xsd:complexType>

     7                   </xsd:element>