| changeset 321 | 5a4e6278a18b |
| parent 204 | f572ab819769 |
| child 615 | 72bc3e53a1fa |
| 320:76492675c3ed | 321:5a4e6278a18b |
|---|---|
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="xeno_config" type="xsd:string" use="optional" default="/usr/xenomai/"/> |
5 <xsd:attribute name="XenoConfig" type="xsd:string" use="optional" default="/usr/xenomai/bin/xeno-config"/> |
6 </xsd:complexType> |
6 </xsd:complexType> |
7 </xsd:element> |
7 </xsd:element> |