| changeset 615 | 72bc3e53a1fa |
| parent 321 | 5a4e6278a18b |
| 614:eed1dcf311a1 | 615:72bc3e53a1fa |
|---|---|
1 |
1 |
2 <xsd:element name="Xenomai"> |
2 <xsd:element name="Xenomai"> |
3 <xsd:complexType> |
3 <xsd:complexType> |
4 %(toolchain_gcc)s |
4 %(toolchain_gcc)s |
5 <xsd:attribute name="XenoConfig" type="xsd:string" use="optional" default="/usr/xenomai/bin/xeno-config"/> |
5 <xsd:attribute name="XenoConfig" type="xsd:string" use="optional" default="xeno-config"/> |
6 </xsd:complexType> |
6 </xsd:complexType> |
7 </xsd:element> |
7 </xsd:element> |