equal
deleted
inserted
replaced
1 |
1 |
2 <xsd:element name="Rtai"> |
2 <xsd:element name="Rtai"> |
3 <xsd:complexType> |
3 <xsd:complexType> |
4 <xsd:sequence> |
|
5 <xsd:element name="Connection"> |
|
6 <xsd:complexType> |
|
7 <xsd:attribute name="URI_location" type="xsd:string" use="optional" default=""/> |
|
8 </xsd:complexType> |
|
9 </xsd:element> |
|
10 </xsd:sequence> |
|
11 %(toolchain_gcc)s |
4 %(toolchain_gcc)s |
12 <xsd:attribute name="rtai_config" type="xsd:string" use="optional" default="/usr/realtime/"/> |
5 <xsd:attribute name="rtai_config" type="xsd:string" use="optional" default="/usr/realtime/"/> |
13 </xsd:complexType> |
6 </xsd:complexType> |
14 </xsd:element> |
7 </xsd:element> |