<xsd:element name="$BOARD">

<xsd:complexType>

<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>