<xsd:element name="%(target_name)s">

<xsd:complexType>

<xsd:attribute name="RealTime" type="xsd:boolean" use="optional" default="true"/>

<xsd:attribute name="Compiler" type="xsd:string" use="optional" default="$CC"/>

<xsd:attribute name="CFLAGS" type="xsd:string" use="optional" default="$CFLAGS"/>

<xsd:attribute name="Linker" type="xsd:string" use="optional" default="$CC"/>

<xsd:attribute name="LDFLAGS" type="xsd:string" use="optional" default="$LDFLAGS"/>

<xsd:attribute name="XenoConfig" type="xsd:string" use="optional"/>

</xsd:complexType>

</xsd:element>